M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

V. Bono and L. Liquori, A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, Proc. of CSL, pp.16-30, 1995.
DOI : 10.1007/BFb0022244
URL : https://hal.archives-ouvertes.fr/hal-01157171

G. Castagna, Covariance and contravariance: conflict without a cause, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.431-447, 1995.
DOI : 10.1145/203095.203096

G. Castagna, Object-Oriented Programming: A Unified Foundation, Progress in Theoretical Computer Science. Birkäuser, 1996.
DOI : 10.1007/978-1-4612-4138-6

G. Castagna, G. Ghelli, and G. Longo, A Calculus for Overloaded Functions with Subtyping, Information and Computation, vol.117, issue.1, pp.115-135, 1995.
DOI : 10.1006/inco.1995.1033

G. Castagna and L. Liquori, Multi-methods in delegation-based object-oriented languages, 1996.

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, Proc. of FCT, pp.42-61, 1995.
DOI : 10.1007/3-540-60249-6_40

L. Liquori, An Extended Theory of Primitive Objects, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01154568