Stephen D. Brookes Michael G. Main Austin Melton Michael W. Mislove David A. Schmidt Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings MFPS Lecture Notes in Computer Science 598 Springer 1992 3-540-55511-0 db/conf/mfps/mfps1991.html