-M. Main/A. Meiton/M. Mislove/D. Schmidt (Eds.): Mathematical Foundations of Programming Language Semantics, Proceedings 1987, Springer-Verlag 1988