1. ABOWD, G. and GARLAN, D. (1995): Formalizing Style to Understand Descriptions of Software Architecture. ACM Transactions on Software Engineering and Methodology, 4(4), 319–364.
2. BATES, B., BRUEL, J., FRANCE, R., and LARRONDO-PETRIE, M. (1996): Guidelines for Formalizing Fusion Object-Oriented Analysis Models. In Proc. CAiSE’96, LNCS 1080, Springer Verlag, Berlin, 222–233.
3. BOOCH, G. (1994): Object-Oriented Analysis and Design. Benjamin Cummings Series in Object-Oriented Software Engineering. Benjamin Cummings, Redwood City, CA.
4. BÖRSTLER, J. (1994): Programming-in-the-Large: Languages, Tools, Reusability. Dissertation (RWTH Aachen), TR UMINF 94. 10, Department of Computer Science, Umeâ University, Sweden (in German).
5. BREU, R. (1991): Algebraic Specification Techniques in Object-Oriented Programming Environments. LNCS 562, Springer Verlag, Berlin.