@inproceedings(AriolaB97,
 author       = {Zena M. Ariola and Stefan Blom},
 year         = {1997},
 title        = {Cyclic Lambda Calculi},
 editor       = {Mart{\'i}n Abadi and Takayasu Ito},
 booktitle    = {Theoretical Aspects of Computer Software - TACS '97},
 series       = {LNCS},
 volume       = {1281},
 publisher    = {Springer},
 pages        = {77--106},
 doi          = {10.1007/BFb0014548},
)
@article(AriolaK96,
 author       = {Zena M. Ariola and Jan Willem Klop},
 year         = {1996},
 title        = {Equational Term Graph Rewriting},
 journal      = {Fundamenta Informaticae},
 volume       = {26},
 number       = {3/4},
 pages        = {207--240},
 doi          = {10.3233/FI-1996-263401},
)
@inproceedings(BdlTE20,
 author       = {{Boy de la Tour}, T. and R. Echahed},
 year         = {2020},
 title        = {Combining Parallel Graph Rewriting and Quotient Graphs},
 booktitle    = {13th International Workshop, WRLA 2020},
 series       = {LNCS},
 volume       = {12328},
 publisher    = {Springer},
 pages        = {1--18},
 doi          = {10.1007/978-3-030-63595-4\_1},
)
@inproceedings(BdlTE20b,
 author       = {{Boy de la Tour}, T. and R. Echahed},
 year         = {2020},
 title        = {Parallel Coherent Graph Transformations},
 booktitle    = {Proceedings of WADT 2020, the 25th International Workshop on Algebraic Development Techniques},
 series       = {LNCS},
 publisher    = {Springer, to appear, see also CoRR (abs/1904.08850)},
)
@article(BdlTE20c,
 author       = {{Boy de la Tour}, T. and R. Echahed},
 year         = {2020},
 title        = {Parallel Rewriting of Attributed Graphs},
 journal      = {Theoretical Computer Science},
 volume       = {848},
 pages        = {106--132},
 doi          = {10.1016/j.tcs.2020.09.025},
)
@inproceedings(CorradiniDLRMCA18,
 author       = {A. Corradini and D. Duval and M. L{\"{o}}we and L. Ribeiro and R. Machado and A. Costa and G. Azzi and J. S. Bezerra and L. M. Rodrigues},
 year         = {2018},
 title        = {On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches},
 editor       = {R. Heckel and G. Taentzer},
 booktitle    = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig},
 series       = {LNCS},
 volume       = {10800},
 publisher    = {Springer},
 pages        = {1--18},
 doi          = {10.1007/978-3-319-75396-6\_1},
)
@inproceedings(HndBkCorradiniMREHL97,
 author       = {Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Reiko Heckel and Michael L{\"{o}}we},
 year         = {1997},
 title        = {Algebraic Approaches to Graph Transformation - Part {I:} Basic Concepts and Double Pushout Approach},
 editor       = {Grzegorz Rozenberg},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations},
 publisher    = {World Scientific},
 pages        = {163--246},
 doi          = {10.1142/9789812384720\_0003},
)
@inproceedings(Costaetal16,
 author       = {A. Costa and J. Bezerra and G. Azzi and L. Rodrigues and T. R. Becker and R. G. Herdt and R. Machado},
 year         = {2016},
 title        = {Verigraph: A System for Specification and Analysis of Graph Grammars},
 editor       = {L. Ribeiro and T. Lecomte},
 booktitle    = {Formal Methods: Foundations and Applications SBMF 2016},
 series       = {LNCS},
 volume       = {10090},
 publisher    = {Springer},
 pages        = {78--94},
 doi          = {10.1007/978-3-319-49815-7\_5},
)
@incollection(DrewesKH97,
 author       = {F. Drewes and H.-J. Kreowski and A. Habel},
 year         = {1997},
 title        = {Hyperedge Replacement Graph Grammars},
 editor       = {G. Rozenberg},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations},
 publisher    = {World Scientific},
 pages        = {95--162},
 doi          = {10.1142/9789812384720\_0002},
)
@inproceedings(DuvalEPR14,
 author       = {Dominique Duval and Rachid Echahed and Fr{\'e}d{\'e}ric Prost and Leila Ribeiro},
 year         = {2014},
 title        = {Transformation of Attributed Structures with Cloning},
 editor       = {Stefania Gnesi and Arend Rensink},
 booktitle    = {Fundamental Approaches to Software Engineering - FASE 2014},
 series       = {LNCS},
 volume       = {8411},
 publisher    = {Springer},
 pages        = {310--324},
 doi          = {10.1007/978-3-642-54804-8\_22},
)
@book(EhrigEPT06,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 series       = {Monographs in Theoretical Computer Science. An {EATCS} Series},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2},
)
@inproceedings(EhrigK76,
 author       = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski},
 year         = {1976},
 title        = {Parallelism of Manipulations in Multidimensional Information Structures},
 booktitle    = {Mathematical Foundations of Computer Science},
 series       = {LNCS},
 volume       = {45},
 publisher    = {Springer},
 pages        = {284--293},
 doi          = {10.1007/3-540-07854-1\_188},
)
@inproceedings(KniemeyerBHK07,
 author       = {Ole Kniemeyer and G{\"{u}}nter Barczik and Reinhard Hemmerling and Winfried Kurth},
 year         = {2007},
 title        = {Relational Growth Grammars - {A} Parallel Graph Transformation Approach with Applications in Biology and Architecture},
 booktitle    = {Third International Symposium {AGTIVE}, Revised Selected and Invited Papers},
 pages        = {152--167},
 doi          = {10.1007/978-3-540-89020-1\_12},
)
@article(LambersEO08,
 author       = {Leen Lambers and Hartmut Ehrig and Fernando Orejas},
 year         = {2008},
 title        = {Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs},
 journal      = {Electron. Notes Theor. Comput. Sci},
 volume       = {211},
 pages        = {17--26},
 doi          = {10.1016/j.entcs.2008.04.026},
)
@article(LaneseM05,
 author       = {Ivan Lanese and Ugo Montanari},
 year         = {2005},
 title        = {Synchronization Algebras with Mobility for Graph Transformations},
 journal      = {Electr. Notes Theor. Comput. Sci},
 volume       = {138},
 number       = {1},
 pages        = {43--60},
 doi          = {10.1016/j.entcs.2005.05.004},
)
@incollection(Plump99,
 author       = {D. Plump},
 title        = {Term Graph Rewriting},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools},
 doi          = {10.1142/9789812815149\_0001},
)
@inproceedings(Plump04,
 author       = {Detlef Plump and Sandra Steinert},
 year         = {2004},
 title        = {Towards Graph Programs for Graph Algorithms},
 booktitle    = {Second International Conference, ICGT 2004},
 series       = {LNCS},
 volume       = {3256},
 pages        = {128--143},
 doi          = {10.1007/978-3-540-30203-2\_11},
)
@article(Rosen75,
 author       = {Barry K. Rosen},
 year         = {1975},
 title        = {A {Church-Rosser} Theorem for Graph Grammars},
 journal      = {Sigact News},
 volume       = {7},
 number       = {3},
 pages        = {26--31},
 doi          = {10.1145/1008343.1008344},
)