Mathematical Foundations of Programming Semantics:
9th International Conference New Orleans, La, Usa, April 7-10, 1993 Proceedings

by S.D. Brookes, International Conference on the Mathematical Foundations of Programmin, Austin Melton, D. Schmidt, M. Main, M. Mislove