-A. Melton (Ed.): Mathematical Foundations of Programming Semantics. Proceedings 1985, Springer-Verlag 1986