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