1. Broy, M.: (Inter-)Action Refinement: The Easy Way. In: Broy, M. (ed.) Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences, vol. 118, pp. 121–158. Springer, Heidelberg (1993)
2. Broy, M.: Specification and Refinement of a Buffer of Length One. Marktoberdorf Summer School 1994 (1994)
3. Lecture Notes in Computer Science;M. Broy,1996
4. Broy, M.: The specification of System Components by State Transition Diagrams (unpublished Manuscript 1996)
5. Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T.F., Weber, R.: The Design of Distributed Systems - an Introduction to Focus. Technische Universität München, Institut für Informatik, TUM-I9203 (January 1992)