Author: International Conference on the Mathematical Foundations of Programming Semantics (9th 1993 New Orleans, La.)