@book(AHS90,
 author       = {Ji\v{r}{\'\i} Ad\'amek and Horst Herrlich and George Strecker},
 year         = {1990},
 title        = {Abstract and Concrete Categories},
 publisher    = {Wiley},
)
@article(Baresi-Rafe-Rahmani-Spoletini08a,
 author       = {Luciano Baresi and Vahid Rafe and Adel T. Rahmani and Paola Spoletini},
 year         = {2008},
 title        = {An {Efficient} {Solution} for {Model} {Checking} {Graph} {Transformation} {Systems}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {213},
 number       = {1},
 pages        = {3--21},
 doi          = {10.1016/j.entcs.2008.04.071},
)
@book(Bertot-Casteran04a,
 author       = {Yves Bertot and Pierre Cast{\'{e}}ran},
 year         = {2004},
 title        = {Interactive Theorem Proving and Program Development --- Coq'Art: The Calculus of Inductive Constructions},
 series       = {Texts in Theoretical Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-07964-5},
)
@inproceedings(Brenas18a,
 author       = {Jon Ha{\"e}l Brenas and Rachid Echahed and Martin Strecker},
 year         = {2018},
 title        = {Verifying graph transformations with guarded logics},
 booktitle    = {2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)},
 organization = {IEEE},
 pages        = {124--131},
 doi          = {10.1109/TASE.2018.00024},
)
@article(Campbell-Courtehoute-Plump21a,
 author       = {Graham Campbell and Brian Courtehoute and Detlef Plump},
 year         = {2022},
 title        = {Fast Rule-Based Graph Programs},
 journal      = {Science of Computer Programming},
 volume       = {214},
 doi          = {10.1016/j.scico.2021.102727},
)
@article(Cavalheiro-Foss-Ribeiro17a,
 author       = {Simone Andr{\'e} da Costa Cavalheiro and Luciana Foss and Leila Ribeiro},
 year         = {2017},
 title        = {Theorem proving graph grammars with attributes and negative application conditions},
 journal      = {Theoretical computer science},
 volume       = {686},
 pages        = {25--77},
 doi          = {10.1016/j.tcs.2017.04.010},
)
@article(Dowson97a,
 author       = {Mark Dowson},
 year         = {1997},
 title        = {The {Ariane} 5 software failure},
 journal      = {{ACM} {SIGSOFT} Software Engineering Notes},
 volume       = {22},
 number       = {2},
 pages        = {84},
 doi          = {10.1145/251880.251992},
)
@inproceedings(Ehrig79a,
 author       = {Hartmut Ehrig},
 year         = {1979},
 title        = {Introduction to the Algebraic Theory of Graph Grammars},
 booktitle    = {Proc.\ Graph-Grammars and Their Application to Computer Science and Biology},
 series       = {Lecture Notes in Computer Science},
 volume       = {73},
 publisher    = {Springer-Verlag},
 pages        = {1--69},
 doi          = {10.1007/BFb0025714},
)
@book(Ehrig-Ehrig-Prange-Taentzer06a,
 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},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2},
)