@inproceedings(baresi2002tutorial, author = {L.~Baresi and R.~Heckel}, year = {2002}, title = {Tutorial Introduction to Graph Transformation: {A} Software Engineering Perspective}, booktitle = {Proc.\ Conf.\ on Graph Transformation (ICGT)}, series = {LNCS}, volume = {2505}, publisher = {Springer}, pages = {402--429}, doi = {10.1007/3-540-45832-8\_30}, ) @book(barr1990category, author = {M.~Barr and C.~Wells}, year = {1990}, title = {Category theory for computing science}, publisher = {Prentice Hall}, ) @inproceedings(bauderon1995uniform, author = {M.~Bauderon}, year = {1995}, title = {A Uniform Approach to Graph Rewriting: The Pullback Approach}, booktitle = {Proc. of Graph-Theoretic Concepts in Computer Science}, series = {LNCS}, volume = {1017}, publisher = {Springer}, pages = {101--115}, doi = {10.1007/3-540-60618-1\_69}, ) @article(bauderon2001pullback, author = {M.~Bauderon and H.~Jacquet}, year = {2001}, title = {Pullback as a Generic Graph Rewriting Mechanism}, journal = {Appl. Categorical Struct.}, volume = {9}, number = {1}, pages = {65--82}, doi = {10.1023/A:1008610714027}, ) @article(bryant1986graph, author = {R.~E. Bryant}, year = {1986}, title = {Graph-Based Algorithms for Boolean Function Manipulation}, journal = {{IEEE} Trans. Computers}, volume = {35}, number = {8}, pages = {677--691}, doi = {10.1109/TC.1986.1676819}, ) @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(ehrig1986tutorial, author = {H.~Ehrig}, year = {1986}, title = {Tutorial introduction to the algebraic approach of graph grammars}, booktitle = {Proc.\ Workshop on Graph-Grammars and Their Application to Computer Science}, series = {LNCS}, volume = {291}, publisher = {Springer}, pages = {3--14}, doi = {10.1007/3-540-18771-5\_40}, ) @book(ehrig2006fundamentals, author = {H.~Ehrig and K.~Ehrig and U.~Prange and G.~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(ehrig1990tutorial, author = {H.~Ehrig and M.~Korff and M.~L{\"{o}}we}, year = {1990}, title = {Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts}, booktitle = {Proc.\ Workshop on Graph-Grammars and Their Application to Computer Science}, series = {LNCS}, volume = {532}, publisher = {Springer}, pages = {24--37}, doi = {10.1007/BFb0017375}, ) @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–180}, doi = {10.1109/SWAT.1973.11}, ) @article(habel2001doublepushout, author = {A.~Habel and J.~M{\"{u}}ller and D.~Plump}, year = {2001}, title = {Double-pushout graph transformation revisited}, journal = {Math. Struct. Comput. Sci.}, volume = {11}, number = {5}, pages = {637--688}, doi = {10.1017/S0960129501003425}, ) @article(heckel2006graph, author = {R.~Heckel}, year = {2006}, title = {Graph Transformation in a Nutshell}, journal = {Electron. Notes Theor. Comput. Sci.}, volume = {148}, number = {1}, pages = {187--198}, doi = {10.1016/j.entcs.2005.12.018}, ) @book(huth2004logic, author = {M.~Huth and M.~Ryan}, year = {2004}, title = {Logic in Computer Science: Modelling and Reasoning about Systems}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511810275}, ) @inproceedings(konig2018tutorial, author = {B.~K{\"{o}}nig and D.~Nolte and J.~Padberg and A.~Rensink}, year = {2018}, title = {A Tutorial on Graph Transformation}, booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig}, series = {LNCS}, volume = {10800}, publisher = {Springer}, pages = {83--104}, doi = {10.1007/978-3-319-75396-6\_5}, ) @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}, ) @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}, ) @article(overbeek2021quasitoposes, author = {R.~Overbeek and J.~Endrullis and A.~Rosset}, year = {2022}, title = {Graph Rewriting and Relabeling with {PBPO$^{+}$:} {A} Unifying Theory for Quasitoposes}, journal = {CoRR}, volume = {abs/2203.01032}, doi = {10.48550/arXiv.2203.01032}, eprint = {2203.01032}, ) @book(pierce1991basic, author = {B.~C. Pierce}, year = {1991}, title = {Basic category theory for computer scientists}, publisher = {MIT press}, doi = {10.7551/mitpress/1524.001.0001}, )