Title: Selected papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92), Oxford, April 1992
First published: 1994