International Conference on the Mathematical Foundations of Programmin
-
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
Softcover, Springer Verlag, ISBN 0387580271 (0-387-58027-1)