@article(Apt84,
 author       = {Krzysztof R. Apt},
 year         = {1984},
 title        = {Ten Years of Hoare's Logic: A Survey. Part II: Nondeterminism},
 journal      = {Theoretical Computer Science},
 volume       = {28},
 pages        = {83--109},
 doi          = {10.1016/0304-3975(83)90066-X},
)
@book(BaaderNipkow98a,
 author       = {Franz Baader and Tobias Nipkow},
 year         = {1998},
 title        = {Term Rewriting and All That},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9781139172752},
)
@phdthesis(Bak15a,
 author       = {Christopher Bak},
 year         = {2015},
 title        = {{GP\tmspace+\thinmuskip{.1667em}2}: Efficient Implementation of a Graph Programming Language},
 school       = {Department of Computer Science, University of York, {UK}},
 url          = {https://etheses.whiterose.ac.uk/12586/},
)
@inproceedings(Bak-Plump16a,
 author       = {Christopher Bak and Detlef Plump},
 year         = {2016},
 title        = {Compiling Graph Programs to {C}},
 booktitle    = {Proc.\ International Conference on Graph Transformation ({ICGT 2016})},
 series       = {Lecture Notes in Computer Science},
 volume       = {9761},
 publisher    = {Springer},
 pages        = {102--117},
 doi          = {10.1007/978-3-319-40530-8\_7},
)
@book(BookOtto93,
 author       = {Ronald V. Book and Friedrich Otto},
 year         = {1993},
 title        = {String-Rewriting Systems},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4613-9771-7},
)
@article(Campbell-Courtehoute-Plump20a,
 author       = {Graham Campbell and Brian Courtehoute and Detlef Plump},
 year         = {2020},
 title        = {Fast Rule-Based Graph Programs},
 journal      = {ArXiv e-prints},
 volume       = {arXiv:2012.11394},
 url          = {https://arxiv.org/abs/2012.11394},
 note         = {47 pages},
)
@book(CormenLeisersonRivestStein09,
 author       = {Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest and Clifford Stein},
 year         = {2009},
 title        = {Introduction to Algorithms},
 edition      = {3},
 publisher    = {The MIT Press},
)
@book(Dijkstra97,
 author       = {Edsger W. Dijkstra},
 year         = {1997},
 title        = {A Discipline of Programming},
 edition      = {1st},
 publisher    = {Prentice Hall PTR},
)
@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\_3},
)
@article(FokkinkVu03,
 author       = {Wan Fokkink and Thuy Vu},
 year         = {2003},
 title        = {Structural Operational Semantics and Bounded Nondeterminism},
 journal      = {Acta Informatica},
 volume       = {39},
 pages        = {501--516},
 doi          = {10.1007/s00236-003-0111-1},
)
@inproceedings(Hristakiev-Plump16a,
 author       = {Ivaylo Hristakiev and Detlef Plump},
 year         = {2016},
 title        = {Attributed Graph Transformation via Rule Schemata: {C}hurch-{R}osser Theorem},
 booktitle    = {Software Technologies: Applications and Foundations -- STAF 2016 Collocated Workshops, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {9946},
 publisher    = {Springer},
 pages        = {145--160},
 doi          = {10.1007/978-3-319-50230-4\_11},
)
@article(Konig27,
 author       = {D{\'e}nes K{\"o}nig},
 year         = {1927},
 title        = {{\"U}ber eine Schlussweise aus dem Endlichen ins Unendliche},
 journal      = {Acta Sci. Math.(Szeged)},
 volume       = {3},
 number       = {2-3},
 pages        = {121--130},
)
@article(Moser20,
 author       = {Georg Moser and Manuel Schneckenreither},
 year         = {2020},
 title        = {Automated amortised resource analysis for term rewrite systems},
 journal      = {Science of Computer Programming},
 volume       = {185},
 pages        = {102306},
 doi          = {10.1016/j.scico.2019.102306},
)
@book(NielsonNielson07,
 author       = {Hanne Riis Nielson and Flemming Nielson},
 year         = {2007},
 title        = {Semantics with Applications: An Appetizer},
 publisher    = {Springer},
 doi          = {10.1007/978-1-84628-692-6},
)
@article(Plotkin04a,
 author       = {Gordon D. Plotkin},
 year         = {2004},
 title        = {A Structural Approach to Operational Semantics},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {60--61},
 pages        = {17--139},
 doi          = {10.1016/j.jlap.2004.05.001},
)
@inproceedings(Plump12a,
 author       = {Detlef Plump},
 year         = {2012},
 title        = {The Design of {GP\tmspace+\thinmuskip{.1667em}2}},
 booktitle    = {Proc.\ 10th International Workshop on Reduction Strategies in Rewriting and Programming ({WRS 2011})},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {82},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.82.1},
)
@article(Plump17a,
 author       = {Detlef Plump},
 year         = {2017},
 title        = {From Imperative to Rule-based Graph Programs},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {88},
 pages        = {154--173},
 doi          = {10.1016/j.jlamp.2016.12.001},
)
@book(Reynolds98a,
 author       = {John C Reynolds},
 year         = {1998},
 title        = {Theories of Programming Languages},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511626364},
)
@article(SondergaardSestoft92,
 author       = {S\IeC{\o}ndergaard, H. and P. Sestoft},
 year         = {1992},
 title        = {{Non-determinism in Functional Languages}},
 journal      = {The Computer Journal},
 volume       = {35},
 number       = {5},
 pages        = {514--523},
 doi          = {10.1093/comjnl/35.5.514},
)