1. Robert J. Allen. A Formal Approach to Software Architecture. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PE, USA, May 1997.
2. Jan Bosch. Composition through superimposition. In Wolfgang Weck, Jan Bosch, and Clemens Szyperski, editors, Proceedings of the First International Workshop on Component-Oriented Programming (WCOP’96). Turku Centre for Computer Science, September 1996.
3. Jan Bosch. Design and Use of Software Architectures-Adopting and evolving a product-line approach. Addison-Wesley, Reading, MA, USA, 2000.
4. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA, USA, 1995.
5. Jun Han. Temporal logic based specification of component interaction protocols. In Proccedings of the 2nd Workshop of Object Interoperability at ECOOP 2000, Cannes, France, June 12.-16. 2000.