Books by International Conference on the Mathematical Foundations of Programming Semantics (9th 1993 New Orleans, La.) on BookTides.