M. Broy,Summer School on Theoretical Foundations of Programming Methodology.Summer School on Theoretical Foundations of Programming Methodology(1981 : Marktoberdorf):Theoretical Foundations of Programming Methodology.North-Holland Pub.,1981.
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.