Meeting on the Mathematical Foundations of Programming Semantics (8th 1992 Oxford)