Mathematical foundations of programming semantics
International Conference on the Mathematical Foundations of Programming Semantics (9th 1993 New Orleans, La.)