1. Abadi, M., Cardelli, L., Curien, P.-L., Lèvy, J.-J.: Explicit Substitutions. In: Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages (FSE 1990), 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. Aßmann, U.: Invasive Software Composition. Springer, Heidelberg (2003)
5. Dami, L.: A Lambda-Calculus for Dynamic Binding. Theoretical Computer Science 192, 201–231 (1998)