-J. Winkowski (Ed.): Mathematical Foundations of Computer Science, Proceedings 1978, Springer-Verlag 1978