C. Blume, Graphsprachen für die Spezifikation von Invarianten bei verteilten und dynamischen Systemen, 2008.

C. Blume, H. J. Sander-bruggink, and B. König, Recognizable graph languages for checking invariants, Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques), Electronic Communications of the EASST, 2010.

A. Bouajjani, B. Jonsson, M. Nilsson, and T. Touili, Regular Model Checking, Proc. of CAV '00, pp.403-418, 2000.
DOI : 10.1007/10722167_31
URL : https://hal.archives-ouvertes.fr/hal-00159512

S. Bozapalidis and A. Kalampakas, Recognizability of graph and pattern languages, Acta Informatica, vol.11, issue.3, pp.553-581, 2006.
DOI : 10.1007/s00236-006-0006-z

S. Bozapalidis and A. Kalampakas, Graph automata, Theoretical Computer Science, vol.393, issue.1-3, pp.147-165, 2008.
DOI : 10.1016/j.tcs.2007.11.022

H. J. Bruggink and B. König, On the Recognizability of Arrow and Graph Languages, Proc. of ICGT '08, pp.336-350, 2008.
DOI : 10.1007/978-3-540-87405-8_23

B. Courcelle, The monadic second-order logic of graphs. I. Recognizable sets of finite graphs, Information and Computation, vol.85, issue.1, pp.12-75, 1990.
DOI : 10.1016/0890-5401(90)90043-H
URL : https://hal.archives-ouvertes.fr/hal-00353765

B. Courcelle, THE EXPRESSION OF GRAPH PROPERTIES AND GRAPH TRANSFORMATIONS IN MONADIC SECOND-ORDER LOGIC, Handbook of Graph Grammars and Computing by Graph Transformation, 1997.
DOI : 10.1142/9789812384720_0005

B. Courcelle and I. Durand, Verifying monadic second order graph properties with tree automata, European Lisp Symposium, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00522586

A. Geser, D. Hofbauer, and J. Waldmann, Match-bounded string rewriting systems, Applicable Algebra in Engineering, Communication and Computing, vol.15, pp.3-4149, 2004.

G. Griffing, Composition-representative subsets, Theory and Applications of Categories, vol.11, issue.19, pp.420-437, 2003.

M. Grohe, Logic, graphs and algorithms Logic and Automata ? History and Perspectives 13. T. Heindel. A category theoretical approach to the concurrent semantics of rewriting, 2007.

B. Jacobs, Categorical Logic and Type Theory, volume 141 of Studies in Logic and the Foundation of Mathematics, 1999.

S. Lack and P. Soboci´nskisoboci´nski, Adhesive and quasiadhesive categories, RAIRO ? Theoretical Informatics and Applications, 2005.
DOI : 10.1051/ita:2005028

A. M. Pitts, Categorical logic, Handbook of Logic in Computer Science V, 2001.

A. Rensink, Representing First-Order Logic Using Graphs, Proc. of ICGT '04, pp.319-335, 2004.
DOI : 10.1007/978-3-540-30203-2_23