International Conference on the Mathematical Foundations of Programming Semantics.International Conference on the Mathematical Foundations of Programming Semantics(5th : 1989 : Louisiana)：Mathematical Foundations of programming semantics.Springer,1990.
International Conference on the Mathematical Foundations of Programming Semantics(5th : 1989 : Louisiana)：Mathematical Foundations of programming semantics
International Conference on the Mathematical Foundations of Programming Semantics.Springer,1990.
Conference on the Mathematical Foundations of Programming Semantic.Conference on the Mathematical Fonndations fo Programming Semantic(1985 : Manhattan)：Mathematical foundations of programming semantics : proceedings.Springer,1986.
