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.
