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