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

M. Abadi, L. Cardelli, P. Curien, and J. Lévy, Abstract, Journal of Functional Programming, vol.34, issue.04, pp.375-416, 1991.
DOI : 10.1016/0304-3975(86)90035-6

Z. Benaissa, Les calculs de substitutions explicites comme fondement de l'implantation des langages fonctionnels, 1997.

Z. Benaissa, K. H. Rose, and P. Lescanne, Modeling sharing and recursion for weak reduction strategies using explicit substitution, Proc. of PLILP, number 1140 in Lecture Notes in Computer Science, pp.393-407, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073599

V. Bono and K. Fisher, An imperative, first-order calculus with object extension, Proc. of ECOOP, pp.462-497, 1998.
DOI : 10.1007/BFb0054104

L. Cardelli, A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.27-59, 1995.
DOI : 10.1145/199448.199516

C. Chambers, The Cecil language specification, and rationale, 1993.

P. Curien, T. Hardin, and J. Lévy, Confluence properties of weak and strong calculi of explicit substitutions, Journal of the ACM, vol.43, issue.2, pp.362-397, 1996.
DOI : 10.1145/226643.226675
URL : https://hal.archives-ouvertes.fr/inria-00077189

P. , D. Gianantonio, F. Honsell, and L. Liquori, A lambda calculus of objects with self-inflicted extension, Proc. of OOPSLA, pp.166-178, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01154180

M. Felleisen and R. Hieb, The revised report on the syntactic theories of sequential control and state, Theoretical Computer Science, vol.103, issue.2, 1992.
DOI : 10.1016/0304-3975(92)90014-7

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.

F. Lang, Modèles de la ?-réduction pour les implantations, 1998.

F. Lang, D. Dougherty, P. Lescanne, and K. H. Rose, Addressed term rewriting systems, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01152576

F. Lang, P. Lescanne, and L. Liquori, A framework for defining object calculi, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01153772

P. Lescanne, From ?? to ??, a journey through calculi of explicit substitutions, Proc. of POPL, pp.60-69, 1994.

T. Lindholm and F. Yellin, The Java Virtual Machine specification, 1996.

K. H. Rose, Operational reduction models for functional programming languages, 1996.

A. Tailvalsaari, Kevo, a prototype-based object-oriented language based on concatenation and modules operations, 1992.

M. Tofte, Type inference for polymorphic references. Information and Computation, pp.1-34, 1990.

D. A. Turner, A new implementation technique for applicative languages. Software Practice and Experience, pp.31-49, 1979.

D. Ungar and B. Smith, Self: the power of simplicity, Proc. of OOPSLA, pp.227-241, 1987.

C. P. Wadsworth, Semantics and pragmatics of the lambda calculus, 1971.

A. K. Wright and M. Felleisen, A Syntactic Approach to Type Soundness, Information and Computation, vol.115, issue.1, pp.38-94, 1994.
DOI : 10.1006/inco.1994.1093