M. Abadi and L. Cardelli, A Theory of Primitive Objects. Manuscript, Proc. Theoretical Aspect of Computer Software, pp.296-320, 1994.

G. Belì-e, Some Remarks on Lambda Calculus of Objects, Dipartimento di Matematica ed Informatica, 1994.

A. H. Borning and D. H. Ingalls, A type declaration and inference system for smalltalk, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.133-141, 1982.
DOI : 10.1145/582153.582168

E. Ellis and B. Stroustrop, The Annotated C ++ Reference Manual, 1990.

K. Fisher, F. Honsell, and J. C. Michell, A Lambda Calculus of Objects and Method Specialization, Proc. 8th Annual IEEE Symposium on Logic in Computer Science, pp.26-38, 1993.

K. Fisher, F. Honsell, and J. C. Mitchell, A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994.

K. Fisher and J. C. Michell, Notes on typed object-oriented programming, Proc. Theoretical Aspect of Computer Software, pp.844-885, 1994.
DOI : 10.1007/3-540-57887-0_128