Z. M. Ariola and A. , Properties of a first-order functional language with sharing, Theoretical Computer Science, vol.146, issue.1-2, pp.69-108, 1995.
DOI : 10.1016/0304-3975(94)00185-L

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

. M. Afm-+-95-]-z, M. Ariola, J. Felleisen, M. Maraist, P. Odersky et al., A Call-By-Need Lambda Calculus, Proc. of POPL, pp.233-246, 1995.

J. [. Ariola and . Klop, Cyclic lambda graph rewriting, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.416-425, 1994.
DOI : 10.1109/LICS.1994.316066
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.7687

L. Augustson, A compiler for lazy ML, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.218-227, 1984.
DOI : 10.1145/800055.802038

]. S. Blo01 and . Blom, Term Graph Rewriting, Syntax and Semantics, 2001.

F. Baader and T. Nipkow, Term Rewriting and All That, 1998.

J. [. Dershowitz and . Jouannaud, Handbook of Theoretical Computer Science, volume B, chapter 6: Rewrite Systems, pp.244-320, 1990.

D. Dougherty, F. Lang, P. Lescanne, L. Liquori, and K. Rose, A Generic Object-Calculus based on Addressed Term Rewriting Systems Logic Group Preprint series No 210, Proc. of WESTAPP'01, Fourth International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs, pp.6-25, 2001.

]. D. Dll-+-02, F. Dougherty, P. Lang, L. Lescanne, K. Liquori et al., A Generic Object-calculus Based on Addressed Term Rewriting Systems, 2002.

G. Kreowski and . Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, World Scientific, vol.2, 1999.

M. Felleisen and D. P. Friedman, A syntactic theory of sequential state, Theoretical Computer Science, vol.69, issue.3, pp.243-287, 1989.
DOI : 10.1016/0304-3975(89)90069-8

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.

A. D. Gordon and P. D. Hankin, A Concurrent Object Calculus, Electronic Notes in Theoretical Computer Science, 2000.
DOI : 10.1016/S1571-0661(04)00145-8

[. 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

A. Igarashi, B. C. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001.
DOI : 10.1145/503502.503505

G. Kahn, Natural semantics, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953

J. W. Klop, Term Rewriting Systems, Handbook of Logic in Computer Science, 1990.

]. P. Lan64 and . Landin, The Mechanical Evaluation of Expressions, Computer Journal, vol.6, 1964.

D. [. Lang, P. Dougherty, K. Lescanne, and . Rose, Addressed Term Rewriting Systems, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01152576

J. Lévy, Optimal Reductions in the Lambda-calculus, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp.159-191, 1980.

P. [. Lang, L. Lescanne, and . Liquori, A framework for defining Object-Calculi extended abstract, Proc. of FM, pp.963-982, 1999.
DOI : 10.1007/3-540-48118-4_2
URL : https://hal.archives-ouvertes.fr/hal-01153772

L. Maranget, Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.255-268, 1992.
DOI : 10.1145/99583.99618

R. Milner, M. Tofte, and R. Harper, The Definition of Standard ML, 1990.

]. D. Plu99 and . Plump, Term Graph Rewriting, World Scientific, pp.3-61, 1999.

M. J. Plasmeijer and M. C. Van-eekelen, Functional Programming and Parallel Graph Rewriting. International Computer Science Series, 1993.

]. K. Ros96 and . Rose, Operational Reduction Models for Functional Programming Languages, 1996.

D. A. Turner, A New Implementation Technique for Applicative Languages. Software Practice and Experience, pp.31-49, 1979.

]. C. Wad71 and . Wadsworth, Semantics and Pragmatics of the Lambda Calculus, 1971.