1. [1] Allen, R. and Garlan, D.Formal Connectors. no. CMU-CS-192, Carnegie Mellon Univ., 1993.
2. [2] Allen, R. and Garlan, D.Formalizing Architectural Connection. 1993.
3. [3] Cameron, J. JSP and JSD: the Jackson Approach to Software Development. IEEE Computer Society Press, 1989.
4. [4] Failures Divergence Refinement: User Manual and Tutorial. 1.2ß. Formal Systems (Europe) Ltd., Oxford, England, 1992.
5. [5] Garlan, D. and Shaw, M.An Introduction to Software Architecture. Advances in Software Engineering and Knowledge Engineering, vol. I (1993).