H. Comon and J. Jouannaud, Les termes en logique et en programmation, 2003.

H. De-jong and P. A. Olivier, Generation of abstract programming interfaces from syntax definitions, The Journal of Logic and Algebraic Programming, vol.59, issue.1-2, pp.35-61, 2004.
DOI : 10.1016/j.jlap.2003.12.002

A. Guglielmi, A system of interaction and structure, To app. in ACM Transactions on Computational Logic, 2002.
DOI : 10.1145/1182613.1182614
URL : https://hal.archives-ouvertes.fr/inria-00441214

O. Kahramano?-gullar?, Implementing system BV of the calculus of structures in maude, Proceedings of the ESSLLI, 2004.

O. Kahramano?-gullar?, P. Moreau, and A. Reilles, Implementing deep inference in TOM, Structures and Deduction, pp.158-172, 2005.

C. Kirchner, P. Moreau, and A. Reilles, Formal validation of pattern matching code, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.187-197, 2005.
DOI : 10.1145/1069774.1069792
URL : https://hal.archives-ouvertes.fr/inria-00000701

H. Kirchner and P. Moreau, Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories, Journal of Functional Programming, vol.11, pp.207-251, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100926

X. Leroy, D. Doligez, J. Guarrigue, D. Rémy, and J. Vouillon, The Objective Caml system, 2004.

C. Marché, Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations, Journal of Symbolic Computation, vol.21, issue.3, pp.253-288, 1996.
DOI : 10.1006/jsco.1996.0011

P. Moreau, C. Ringeissen, and M. Vittek, A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, Warsaw (Poland), pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

M. , J. Heering, P. Klint, and P. Olivier, Compiling language definitions: The ASF+SDF compiler, ACM Transactions on Programming Languages and Systems, vol.24, pp.334-368, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00101029

M. , P. Moreau, and J. Vinju, A generator of efficient strongly typed abstract syntax trees in java, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00000700

J. Visser, Visitor combination and traversal control, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp.270-282, 2001.
DOI : 10.1145/504282.504302
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.5999

D. C. Wang, A. W. Appel, and J. L. Korn, The zephyr abstract syntax description language, USENIX Workshop on Domain-Specific Languages, 1997.