1. R. Allen and D. Garlan. Formal connectors. Technical Report CMU-CS-94-115, Carnegie Mellon University, 1994.
2. M. Broy. Interaction renement the easy way. In M. Broy, editor, Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences,Vol. 118, 1993.
3. M. Broy. The specification of system components by state transition diagrams. Technical Report TUM-I9729, Institut für Informatik, TU München, 1997.
4. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner,and R. Weber. The Design of Distributed Systems —An Introduction to focus revised version _.SFB-Bericht 342/2-2/92 A, TU München, 1993.
5. Lect Notes Comput Sci;M. Broy,1994