-P. Dembinski (Ed.): Mathematical Foundations of Computer Science 1980, Proceedings 1980, Springer-Verlag 1980