1. M. Abadi and L. Cardelli. A Theory of Objects. Springer, New York, 1996.
2. H. P. Barendregt. The Lambda Calculus, its Syntax and Semantics. North-Holland, 1984.
3. L. Henrio and F. Kamm üller. A Mechanized Model of the Theory of Objects. 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS’07. LNCS 4468, Springer, 2007.
4. S. J ähnichen and F. Kamm üller. Ascot: Formal, Mechanical Foundation of Aspect-Oriented and Collaboration-Based Languages. Web-page at http://swt.cs.tu-berlin.de/ ∼ flokam/ascot/index.html Project with the German Research Foundation (DFG), 2006.
5. F. Kamm üller. Exploring New OO-Paradigms in HOL: Aspects and Collaborations. Theorem Proving for Higher Order Logics, TPHOLs’05, Emerging trends. Technical Report PRG-RR05-02, Oxford University, 2005.