S. Autexier and T. Mossakowski, Integrating HOL-CASL into the Development Graph Manager MAYA, Proc. FroCoS'2002, pp.2-17, 2002.
DOI : 10.1007/3-540-45988-X_2

J. A. Bergstra, J. Heering, and P. Klint, Algebraic specification, 1989.

D. Bert, R. Echahed, and J. Reynaud, Reference manual of the LPG specification language and environment (release with disequations), 1994.

P. Borovansk´yborovansk´y, C. Kirchner, H. Kirchner, and C. Ringeissen, REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS, International Journal of Foundations of Computer Science, vol.12, issue.01, pp.69-98, 2001.
DOI : 10.1142/S0129054101000412

H. Cirstea and C. Kirchner, The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001.
DOI : 10.1093/jigpal/9.3.377

URL : https://hal.archives-ouvertes.fr/inria-00100532

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., Maude: specification and programming in rewriting logic, Theoretical Computer Science, vol.285, issue.2, 2001.
DOI : 10.1016/S0304-3975(01)00359-0

. Cofi, The CoFI Algebraic Specification Language, available at the CoFI home page, 2003.

N. Dershowitz and J. Jouannaud, Rewrite Systems, 1990.
DOI : 10.1016/B978-0-444-88074-1.50011-1

A. V. Deursen, An Overview of ASF+SDF, Language Prototyping: An Algebraic Specification Approach, pp.1-30, 1996.
DOI : 10.1142/9789812830043_0001

F. Durán, Reflective Module Algebra with Applications to the Maude Language, 1999.

H. Ehrig and B. Mahr, Fundamentals of algebraic specification 1 and 2, EATCS Monographs on Theoretical Computer Science, vol.6, issue.21, 1985.

G. Lima, A. M. Moreira, D. Déharbe, D. Pereira, D. Sena et al., FERUS: um ambiente de desenvolvimento de especificações CASL, Proceedings of SBES'2002 (Simpósio Brasileiro de Engenharia de Software): Sessão de ferramentas, pp.1-6, 2002.

M. Oliet, N. , and J. Meseguer, Rewriting logic: roadmap and bibliography, Theoretical Computer Science, vol.285, issue.2, pp.121-154, 2002.
DOI : 10.1016/S0304-3975(01)00357-7

A. M. Moreira, La Généralisation : un Outil pour la Réutilisation, p.INPG, 1995.

A. M. Moreira, C. Ringeissen, D. Déharbe, and G. Lima, Manipulating algebraic specifications with term-based and graph-based representations, The Journal of Logic and Algebraic Programming, vol.59, issue.1-2, 2003.
DOI : 10.1016/j.jlap.2003.12.001

URL : https://hal.archives-ouvertes.fr/inria-00099983

A. M. Moreira, C. Ringeissen, and A. Santana, A Tool Support for Reusing ELAN Rule-Based Components, Proceedings of the 4th International Workshop on Rule-Based Programming, RULE'03, Eletronic Notes in Theoretical Computer Science 86.2, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00000752

T. Mossakowski, Relating CASL with other specification languages: the institution level, Theoretical Computer Science, vol.286, issue.2, pp.367-475, 2002.
DOI : 10.1016/S0304-3975(01)00369-3

M. and J. Bergstra, Syntax and semantics of a high-level intermediate representation for asf+sdf, 1998.

M. , H. De-jong, P. Klint, and P. Olivier, Efficient annotated terms, Software-Practice and Experience, pp.259-291, 2000.

M. and P. Klint, ASF+SDF Meta-Environment User Manual, 2002.

M. , P. Moreau, and C. Ringeissen, The ELAN environment: a rewriting logic environment based on ASF+SDF technology, Proceedings of the 2st International Workshop on Language Descriptions, Tools and Applications, 2002.

M. Van-den-brand and C. Ringeissen, ASF+SDF parsing tools applied to ELAN, Proceedings of the third International Workshop on Rewriting Logic and Applications, 2000.
DOI : 10.1016/S1571-0661(05)80122-7

URL : https://hal.archives-ouvertes.fr/inria-00099385

E. Visser, Syntax Definition for Language Prototyping, 1997.

M. Wirsing, Algebraic Specification, 1990.
DOI : 10.1016/B978-0-444-88074-1.50018-4