-A. Tarlecki (Ed.): Mathematical Foundation of Computer Science, Springer-Verlag Proceedings 1991