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

E. Balland, P. Brauner, R. Kopetz, P. Moreau, and A. Reilles, Tom: Piggybacking Rewriting on Java, Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA'07), vol.4533, pp.36-47, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00142045

M. Bezem, J. W. Klop, R. De-vrijer, and T. , Term Rewriting Systems, vol.55, 2003.

P. Borovansk´yborovansk´y, C. Kirchner, P. Héì-ene-kirchner, C. Moreau, and . Ringeissen, An overview of ELAN. Electronic Notes in Theoretical Computer Science, vol.15, pp.55-70, 1998.

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17 -A Language and Toolset for Program Transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008.

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, C. Mckinty et al., Reference Manual of the LNT to LOTOS Translator (Version 6.6). INRIA, 2017.

M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln et al., , 2016.

J. R. Cordy, The TXL Source Transformation Language, Science of Computer Programming, vol.61, issue.3, pp.190-210, 2006.

G. Denker, C. L. Talcott, and G. Rosu, Mark van den Brand, Steven Eker, and Traian-Florin Serbanuta. Rewriting Logic Systems. Electronic Notes in Theoretical Computer Science, vol.176, issue.4, pp.233-247, 2007.

R. Diaconescu and K. Futatsugi, CafeOBJ Report -The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing. World Scientific, vol.6, 1998.

A. E. Doroshenko and R. Shevchenko, A Rewriting Framework for Rule-Based Programming Dynamic Applications. Fundamenta Informaticae, vol.72, pp.95-108, 2006.

F. Durán, M. Roldán, J. Bach, E. Balland, M. Van-den et al., The Third Rewrite Engines Competition, Proceedings of the 8th International Workshop on Rewriting Logic and Its Applications (WRLA'10), pp.243-261, 2010.

F. Durán, M. Roldán, E. Balland, M. Van-den, S. Brand et al., The Second Rewrite Engines Competition, Electronic Notes in Theoretical Computer Science, vol.238, issue.3, pp.281-291, 2009.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, M. Tabikh, and I. Arrada, Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages -The 4th Rewrite Engines Competition, Proceedings of the 12th International Workshop on Rewriting Logic and its Applications (WRLA'18), vol.11152, pp.1-25, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01883212

J. Friso-groote and M. R. Mousavi, Modeling and Analysis of Communicating Systems, 2014.

. Iso/iec, LOTOS -A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization -Information Processing Systems -Open Systems Interconnection, 1989.

F. Kordon, H. Garavel, E. Lom-messan-hillah, and . Paviotadet, Lo¨?gLo¨?g Jezequel, César Rodríguez, and Francis Hulin-Hubard. MCC'2015 -The Fifth Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency, pp.262-273, 2016.

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The OCaml System Release 4.04 -Documentation and User's Manual. INRIA, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00930213

R. Milner, M. Tofte, R. Harper, and D. Macqueen, Definition of Standard ML (Revised), 1997.

M. Odersky, P. Altherr, V. Cremet, G. Dubochet, B. Emir et al., Adriaan Moors, Lukas Rytz, Michel Schinz, Erik Stenman, and Matthias Zenger. The Scala Language Specification -Version 2.11, 2016.

P. Pepper and F. Lorenzen, The Programming Language Opal -6th Corrected Edition, 2012.

R. Plasmeijer, J. Marko-van-eekelen, and . Van-groningen, Clean Version 2.2 Language Report. Department of Software Technology, 2011.

. Jeroen-van-den, M. Bos, P. Hills, T. Klint, . Van-der et al., Rascal: From Algebraic Specification to Meta-Programming

, Proceedings of the 2nd International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE'11), vol.56, pp.15-32, 2011.

M. Van-den-brand, J. Heering, P. Klint, and P. A. Olivier, Compiling Language Definitions: The ASF+SDF Compiler, ACM Transactions on Programming Languages and Systems, vol.24, issue.4, pp.334-368, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00101029