1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Allen, R.: A Formal Approach to Software Architectures. PhD Thesis, Carnegie Mellon University (1997)
3. Lecture Notes in Computer Science;R. Allen,1998
4. Alloui, I., Garavel, H., Mateescu, R., Oquendo, F.: The ArchWare Architecture Analysis Language: Syntax and Semantics. Deliverable D3.1b, ArchWare European RTD Project, IST- 2001-32360 (January 2003)
5. Alloui, I., Oquendo, F.: Supporting Decentralised Software-intensive Processes using ZETA Component-based Architecture Description Language. In: Filipe, J. (ed.) Enterprise Information Systems, Kluwer Academic Publishers, Dordrecht (2002)