@book(awodey2006category,
 author       = {S. Awodey},
 year         = {2006},
 title        = {{Category Theory}},
 publisher    = {Oxford University Press},
 doi          = {10.1093/acprof:oso/9780198568612.001.0001},
)
@inproceedings(bruggink2015proving,
 author       = {H. J. S. Bruggink and B. K{\"{o}}nig and D. Nolte and H. Zantema},
 year         = {2015},
 title        = {Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings},
 booktitle    = {Proc.\ Conf.\ on Graph Transformation (ICGT)},
 series       = {LNCS},
 volume       = {9151},
 publisher    = {Springer},
 pages        = {52--68},
 doi          = {10.1007/978-3-319-21145-9\_4},
)
@inproceedings(corradini2015agree,
 author       = {A. Corradini and D. Duval and R. Echahed and F. Prost and L. Ribeiro},
 year         = {2015},
 title        = {{{AGREE} -- Algebraic Graph Rewriting with Controlled Embedding}},
 booktitle    = {Proc.\ Conf.\ on Graph Transformation (ICGT)},
 series       = {LNCS},
 volume       = {9151},
 publisher    = {Springer},
 pages        = {35--51},
 doi          = {10.1007/978-3-319-21145-9\_3},
)
@article(corradini2019pbpo,
 author       = {A. Corradini and D. Duval and R. Echahed and F. Prost and L. Ribeiro},
 year         = {2019},
 title        = {{The {PBPO} Graph Transformation Approach}},
 journal      = {J.\ Log.\ Algebraic Methods Program.},
 volume       = {103},
 pages        = {213--231},
 doi          = {10.1016/j.jlamp.2018.12.003},
)
@inproceedings(corradini2006sesqui,
 author       = {A. Corradini and T. Heindel and F. Hermann and B. K{\"{o}}nig},
 year         = {2006},
 title        = {{Sesqui-Pushout Rewriting}},
 booktitle    = {Proc.\ Conf.\ on Graph Transformation (ICGT)},
 series       = {LNCS},
 volume       = {4178},
 publisher    = {Springer},
 pages        = {30--45},
 doi          = {10.1007/11841883\_4},
)
@inproceedings(dershowitz2018gpo,
 author       = {N. Dershowitz and J.{-}P. Jouannaud},
 year         = {2018},
 title        = {Graph Path Orderings},
 booktitle    = {Proc.\ Conf.\ on Logic for Programming, Artificial Intelligence and Reasoning, (LPAR)},
 series       = {EPiC Series in Computing},
 volume       = {57},
 publisher    = {EasyChair},
 pages        = {307--325},
 doi          = {10.29007/6hkk},
)
@book(ehrig2006,
 author       = {H. Ehrig and K. Ehrig and U. Prange and G. Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2_1},
)
@inproceedings(ehrig1973graph,
 author       = {H. Ehrig and M. Pfender and H. J. Schneider},
 year         = {1973},
 title        = {{Graph-Grammars: An Algebraic Approach}},
 booktitle    = {Proc.\ Symp.\ on on Switching and Automata Theory (SWAT)},
 publisher    = {IEEE Computer Society},
 pages        = {167\IeC{\textendash}180},
 doi          = {10.1109/SWAT.1973.11},
)
@inproceedings(termination:local:2009,
 author       = {J. Endrullis and R.C. de Vrijer and J. Waldmann},
 year         = {2009},
 title        = {{Local Termination}},
 booktitle    = {Proc.\ Conf.\ on Rewriting Techniques and Applications (RTA~2009)},
 series       = {LNCS},
 volume       = {5595},
 publisher    = {Springer},
 pages        = {270--284},
 doi          = {10.1007/978-3-642-02348-4\_19},
)
@article(termination:local:2010,
 author       = {J. Endrullis and R.C. de Vrijer and J. Waldmann},
 year         = {2010},
 title        = {{Local Termination: Theory and Practice}},
 journal      = {Logical Methods in Computer Science},
 volume       = {6},
 number       = {3},
 doi          = {10.2168/LMCS-6(3:20)2010},
)
@inproceedings(termination:automata:2015,
 author       = {J. Endrullis and H. Zantema},
 year         = {2015},
 title        = {{Proving Non-termination by Finite Automata}},
 booktitle    = {Proc.\ Conf.\ on Rewriting Techniques and Applications (RTA~2015)},
 series       = {LIPIcs},
 volume       = {36},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {160--176},
 doi          = {10.4230/LIPIcs.RTA.2015.160},
)
@inproceedings(lack2004adhesive,
 author       = {S. Lack and P. Soboci\'{n}ski},
 year         = {2004},
 title        = {Adhesive Categories},
 booktitle    = {Proc.\ Conf.\ on Foundations of Software Science and Computation Structures (FOSSACS)},
 series       = {LNCS},
 volume       = {2987},
 publisher    = {Springer},
 pages        = {273--288},
 doi          = {10.1007/978-3-540-24727-2\_20},
)
@article(lowe1993algebraic,
 author       = {M. L{\"{o}}we},
 year         = {1993},
 title        = {{Algebraic Approach to Single-Pushout Graph Transformation}},
 journal      = {Theor. Comput. Sci.},
 volume       = {109},
 number       = {1{\&}2},
 pages        = {181--224},
 doi          = {10.1016/0304-3975(93)90068-5},
)
@book(mac1971categories,
 author       = {Mac Lane, S.},
 year         = {1971},
 title        = {{Categories for the Working Mathematician}},
 volume       = {5},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-1-4612-9839-7},
)
@phdthesis(nolte2019,
 author       = {D. Nolte},
 year         = {2019},
 title        = {Analysis and Abstraction of Graph Transformation Systems via Type Graphs},
 school       = {University of Duisburg-Essen, Germany},
 url          = {https://duepublico2.uni-due.de/receive/duepublico\_mods\_00070359},
)
@inproceedings(overbeek2020patch,
 author       = {R. Overbeek and J. Endrullis},
 year         = {2020},
 title        = {{Patch Graph Rewriting}},
 booktitle    = {Proc.\ Conf.\ on Graph Transformation (ICGT)},
 series       = {LNCS},
 volume       = {12150},
 publisher    = {Springer},
 pages        = {128--145},
 doi          = {10.1007/978-3-030-51372-6_8},
)
@inproceedings(overbeek2021pbpo,
 author       = {R. Overbeek and J. Endrullis and A. Rosset},
 year         = {2021},
 title        = {{Graph Rewriting and Relabeling with PBPO$^+$}},
 booktitle    = {Proc.\ Conf.\ on Graph Transformation (ICGT)},
 series       = {LNCS},
 volume       = {12741},
 publisher    = {Springer},
 pages        = {60--80},
 doi          = {10.1007/978-3-030-78946-6_4},
)
@book(terese,
 editor       = {Terese},
 year         = {2003},
 title        = {{Term Rewriting Systems}},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {55},
 publisher    = {Cambridge University Press},
)