1. Lecture Notes in Computer Science;J.H. Andrews,2001
2. Aßmann, U.: Invasive Software Composition. Springer, Heidelberg (2003)
3. Bougé, L., Francez, N.: A Compositional Approach to Superimposition. In: 15th Annual ACM Symposium on Principles of Programming Languages, POPL 1988, San Diego, pp. 240–249. ACM Press, New York (1988)
4. Bradfield, J.C., Stirling, C.P.: Modal Logics and mu-Calculi: An Introduction. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, ch. 4, pp. 293–330. Elsevier Science B.V, Amsterdam (2001)
5. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, Chichester (1996)