- Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings. Volume 442 of Lecture Notes in Computer Science, Springer, 1990.