Stephen D. Brookes Michael G. Main Austin Melton Michael W. Mislove David A. Schmidt Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings MFPS Lecture Notes in Computer Science 802 Springer 1994 3-540-58027-1 db/conf/mfps/mfps1993.html