@phdthesis(Bak15a,
 author       = {Christopher Bak},
 year         = {2015},
 title        = {{GP 2}: Efficient Implementation of a Graph Programming Language},
 school       = {Department of Computer Science, University of York},
 url          = {http://etheses.whiterose.ac.uk/12586/},
)
@inproceedings(Bak-Plump12a,
 author       = {Christopher Bak and Detlef Plump},
 year         = {2012},
 title        = {Rooted Graph Programs},
 booktitle    = {Proc.\ Int.\ Workshop on Graph Based Tools (GraBaTs 2012)},
 series       = {Electronic Communications of the EASST},
 volume       = {54},
 doi          = {10.14279/tuj.eceasst.54.780},
)
@inproceedings(Brenas-Echahed-Strecker18b,
 author       = {Jon Ha{\"{e}}l Brenas and Rachid Echahed and Martin Strecker},
 year         = {2018},
 title        = {Verifying Graph Transformations with Guarded Logics},
 booktitle    = {Proc.\ Int.\ Symposium on Theoretical Aspects of Software Engineering ({TASE} 2018)},
 publisher    = {{IEEE}},
 pages        = {124--131},
 doi          = {10.1109/TASE.2018.00024},
)
@article(Campbell-Romo-Plump20a,
 author       = {Graham Campbell and Jack Rom\"o and Detlef Plump},
 year         = {2020},
 title        = {The Improved {GP\tmspace+\thinmuskip{.1667em}2} Compiler},
 journal      = {ArXiv e-prints},
 volume       = {arXiv:2010.03993 [cs.PL]},
 url          = {https://arxiv.org/abs/2010.03993},
)
@article(Cook78,
 author       = {Stephen A. Cook},
 year         = {1978},
 title        = {Soundness and Completeness of an Axiom System for Program Verification},
 journal      = {SIAM Journal on Computing},
 volume       = {7},
 number       = {1},
 pages        = {70--90},
 doi          = {10.1137/0207005},
)
@book(Cou12,
 author       = {Bruno Courcelle and Joost Engelfriet},
 year         = {2012},
 title        = {Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511977619},
)
@book(DijkstraS90,
 author       = {Edsger W. Dijkstra and Carel S. Scholten},
 year         = {1990},
 title        = {Predicate Calculus and Program Semantics},
 series       = {Texts and Monographs in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-3228-5},
)
@book(Ehrig06,
 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},
)
@article(HP09,
 author       = {Annegret Habel and Karl{-}Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of high-level transformation systems relative to nested conditions},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {19},
 number       = {2},
 pages        = {245--296},
 doi          = {10.1017/S0960129508007202},
)
@book(Jones-Roscoe-Wood10a,
 editor       = {Clifford B.\ Jones and A.W.\ Roscoe and Kenneth R.\ Wood},
 year         = {2010},
 title        = {Reflections on the Work of C.A.R.\ Hoare},
 publisher    = {Springer},
 doi          = {10.1007/978-1-84882-912-1},
)
@book(Libkin04,
 author       = {Leonid Libkin},
 year         = {2004},
 title        = {Elements of Finite Model Theory},
 series       = {Texts in Theoretical Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-07003-1},
)
@book(Monk76a,
 author       = {James Donald Monk},
 year         = {1976},
 title        = {Mathematical Logic},
 series       = {Graduate Texts in Mathematics},
 volume       = {37},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4684-9452-5},
)
@phdthesis(Pennemann09,
 author       = {Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Development of Correct Graph Transformation Systems},
 school       = {Department of Computing Science, University of Oldenburg},
 url          = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/diss_pennemann.pdf},
)
@inproceedings(Plump12a,
 author       = {Detlef Plump},
 year         = {2012},
 title        = {The Design of {GP 2}},
 booktitle    = {Proc.\ Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011)},
 series       = {EPTCS},
 volume       = {82},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.82.1},
)
@phdthesis(Poskitt13,
 author       = {Christopher M. Poskitt},
 year         = {2013},
 title        = {Verification of Graph Programs},
 school       = {The University of York},
 url          = {http://etheses.whiterose.ac.uk/4700/},
)
@inproceedings(Poskitt-Plump10a,
 author       = {Christopher M. Poskitt and Detlef Plump},
 year         = {2010},
 title        = {A {Hoare} Calculus for Graph Programs},
 booktitle    = {Proc.\ Int.\ Conference on Graph Transformation (ICGT 2010)},
 series       = {LNCS},
 volume       = {6372},
 publisher    = {Springer},
 pages        = {139--154},
 doi          = {10.1007/978-3-642-15928-2\_10},
)
@article(PoskittP12,
 author       = {Christopher M. Poskitt and Detlef Plump},
 year         = {2012},
 title        = {{Hoare}-Style Verification of Graph Programs},
 journal      = {Fundamenta Informaticae},
 volume       = {118},
 number       = {1-2},
 pages        = {135--175},
 doi          = {10.3233/FI-2012-708},
)
@article(WP20a,
 author       = {Gia Wulandari and Detlef Plump},
 year         = {2020},
 title        = {Verifying Graph Programs with First-Order Logic (Extended Version)},
 journal      = {ArXiv e-prints},
 volume       = {arXiv:{2010.14549 [cs.LO]}},
 url          = {https://arxiv.org/abs/2010.14549},
)
@inproceedings(WP18,
 author       = {Gia S. Wulandari and Detlef Plump},
 year         = {2018},
 title        = {Verifying a Copying Garbage Collector in {GP\tmspace+\thinmuskip{.1667em}2}},
 booktitle    = {Software Technologies: Applications and Foundations -- STAF 2018 Collocated Workshops, Revised Selected Papers},
 series       = {LNCS},
 volume       = {11176},
 publisher    = {Springer},
 pages        = {479--494},
 doi          = {10.1007/978-3-030-04771-9\_34},
)