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

V. Bono, M. Bugliesi, and L. Liquori, A Calculus of Incomplete objects with Subtyping

V. Bono and L. Liquori, A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, Proceedings of International Conference of Computer Science Logic, 1995.
DOI : 10.1007/BFb0022244

URL : https://hal.archives-ouvertes.fr/hal-01157171

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

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. Mitchell, A delegation-based object calculus with subtyping, Proceedings of FCT-95, 1995.
DOI : 10.1007/3-540-60249-6_40

A. Goldberg and D. Robson, Smalltalk-80, The Language and its Implementation, 1983.