A. Agrawal, A Formal Graph-Transformation Based Language for Model-to-Model Transformations, 2004.

E. Barendsen, Term Rewriting Systems, chapter Term Graph Rewriting, 2003.

J. Bézivin, E. Breton, G. Dupé, and P. Valduriez, The ATL Transformationbased Model Management Framwork, 2003.

P. Baldan, A. Corradini, J. Esparza, T. Heindel, B. König et al., Verifying red-black trees, Proc. of COSMICAH '05, 2005. Proceedings available as report RR-05-04

U. A. Corradini, F. Montanari, H. Rossi, R. Ehrig, M. Heckel et al., ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION ??? PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH, 1996.
DOI : 10.1142/9789812384720_0003

H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro et al., ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION ??? PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH, Handbook of Graph Grammars and Computing by Graph Transformations, pp.247-312, 1997.
DOI : 10.1142/9789812384720_0004

D. [. Fradet and . Métayer, Shape types, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, 1997.
DOI : 10.1145/263699.263706

N. Klarlund and M. I. Schwartzbach, Graph types, POPL, pp.196-205, 1993.
DOI : 10.7146/dpb.v21i421.7952

A. Königs and A. Schürr, Tool Integration with Triple Graph Grammars - A Survey, Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques, pp.113-150, 2006.
DOI : 10.1016/j.entcs.2005.12.015

P. Muller, F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet et al., On executable meta-languages applied to model transformations, Proc. Model Transformations In Practice Workshop, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

T. Nipkow, L. Paulson, M. Wenzel, /. Isabelle, and . Hol, A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002.

[. Plump, TERM GRAPH REWRITING, Handbook of Graph Grammars and Computing by Graph Transformation, 1999.
DOI : 10.1142/9789812815149_0001

G. Taentzer, AGG: A graph transformation environment for system modeling and validation, Proc. Tool Exihibition at Formal Methods, 2003.