1. Abadi, M., Cardelli, L., Curien, P.-L., Lèvy, J.-J.: Explicit Substitutions. In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, pp. 31–46. ACM, New York (1990)
2. Achermann, F.: Forms, Agents and Channels: Defining Composition Abstraction with Style. PhD thesis, University of Bern, Institute of Computer Science and Applied Mathematics (January 2002)
3. Lecture Notes in Computer Science;F. Achermann,2000
4. Assmann, U.: Invasive Software Composition. Springer, Heidelberg (2003)
5. Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. IEEE Computer 32(7), 38–45 (1999)