16 books found
by International Conference on the Mathematical Foundations of Programming Semantics (9th 1993 New Orleans, La.), International Conference on the Mathematical Foundations of programmin