Michael G. Main Austin Melton Michael W. Mislove David A. Schmidt Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings MFPS Lecture Notes in Computer Science 298 Springer 1988 3-540-19020-1 db/conf/mfps/mfps1987.html