1. Abadi, M. & Lamport, L. (2009). Composing specifications. ACM Transactions of Programming Language Systems, 15(1).
2. Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., et al. (2000). Volume II: Technical concepts of component-based software engineering. (Technical Report, CMU/SEI-2000-TR-008, 2000).
3. CeramiE. (2002). Web services essentials. O’Reilly.
4. Clarke, E. M., Long, D. E., & McMillan, K. L. (1989). Compositional model checking. In Proceedings of the 4th Symposium on Logic in Computer Science, (pp. 353-362).
5. Cotroneo, D., Di Flora, C. & Russo, S. (2003). An enhanced Service Oriented Architecture for developing Web-based applications. Journal of Web Engineering.