@article(Anand-Kahl-2009b,
 author       = {C.K. Anand and W. Kahl},
 year         = {2009},
 title        = {An Optimized {Cell BE} Special Function Library Generated by {Coconut}},
 journal      = {IEEE Transactions on Computers},
 volume       = {58},
 number       = {8},
 pages        = {1126--1138},
 doi          = {10.1109/TC.2008.223},
)
@article(Ariola-Klop-Plump-2000,
 author       = {Z.M. Ariola and J.W. Klop and D. Plump},
 year         = {2000},
 title        = {Bisimilarity in Term Graph Rewriting},
 journal      = {Information and Computation},
 volume       = {156},
 number       = {1},
 pages        = {2--24},
 doi          = {10.1006/inco.1999.2824},
)
@incollection(Banach-1993,
 author       = {R. Banach},
 year         = {1993},
 title        = {A Fibration Semantics for Extended Term Graph Rewriting},
 editor       = {Sleep},
 booktitle    = {Term Graph Rewriting: Theory and Practice},
 chapter      = {7},
 pages        = {91--100},
)
@inproceedings(Corradini-Gadducci-1997,
 author       = {A. Corradini and F. Gadducci},
 year         = {1997},
 title        = {A 2-categorical presentation of term graph rewriting},
 editor       = {E. Moggi and G. Rosolini},
 booktitle    = {Category Theory and Computer Science},
 series       = {LNCS},
 volume       = {1290},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {87--105},
 doi          = {10.1007/BFb0026983},
)
@article(Corradini-Gadducci-1999-APTG,
 author       = {A. Corradini and F. Gadducci},
 year         = {1999},
 title        = {An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories},
 journal      = {Applied Categorical Structures},
 volume       = {7},
 number       = {4},
 pages        = {299--331},
 doi          = {10.1023/A:1008647417502},
)
@article(Corradini-Gadducci-1999-cyclic,
 author       = {A. Corradini and F. Gadducci},
 year         = {1999},
 title        = {Rewriting on cyclic structures: Equivalence between the operational and the categorical description},
 journal      = {{RAIRO} Theor.\hbox{}{} Inform.\hbox{}{} Appl.},
 volume       = {33},
 pages        = {467--493},
 doi          = {10.1051/ita:1999128},
)
@article(Corradini-Gadducci-2002b,
 author       = {A. Corradini and F. Gadducci},
 year         = {2002},
 title        = {Categorical rewriting of term-like structures},
 journal      = {ENTCS},
 volume       = {51},
 pages        = {108--121},
 doi          = {10.1016/S1571-0661(04)80195-6},
 note         = {GETGRATS Closing Workshop},
)
@article(Corradini-Gadducci-2005,
 author       = {A. Corradini and F. Gadducci},
 year         = {2005},
 title        = {On Term Graphs as an Adhesive Category},
 journal      = {ENTCS},
 volume       = {127},
 number       = {5},
 pages        = {43--56},
 doi          = {10.1016/j.entcs.2005.02.014},
)
@article(Corradini-Rossi-1991,
 author       = {A. Corradini and F. Rossi},
 year         = {1993},
 title        = {Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming},
 journal      = {Theoret.\hbox{}{} Comput.\hbox{}{} Sci.},
 volume       = {109},
 number       = {1--2},
 pages        = {7--48},
 doi          = {10.1016/0304-3975(93)90063-Y},
)
@inproceedings(Duval-Echahed-Prost-2009,
 author       = {D. Duval and R. Echahed and F. Prost},
 year         = {2009},
 title        = {A Heterogeneous Pushout Approach to Term-Graph Transformation},
 editor       = {R. Treinen},
 booktitle    = {Rewriting Techniques and Applications},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {194--208},
 doi          = {10.1007/978-3-642-02348-4\_14},
)
@article(Hoffmann-Plump-1991,
 author       = {B. Hoffmann and D. Plump},
 year         = {1991},
 title        = {Implementing Term Rewriting by Jungle Evaluation},
 journal      = {Informatique th\'eorique et applications/Theoretical Informatics and Applications},
 volume       = {25},
 number       = {5},
 pages        = {445--472},
 doi          = {10.1051/ita/1991250504451},
)
@incollection(Habel-Plump-2012,
 author       = {A. Habel and D. Plump},
 year         = {2012},
 title        = {{$\mathcal{M},\mathcal{N}$}-Adhesive Transformation Systems},
 editor       = {H. Ehrig},
 booktitle    = {Graph Transformation, {ICGT 2012}},
 series       = {LNCS},
 volume       = {7562},
 publisher    = {Springer},
 pages        = {218--233},
 doi          = {10.1007/978-3-642-33654-6\_15},
)
@inproceedings(Kahl-Anand-Carette-2005,
 author       = {W. Kahl and C.K. Anand and J. Carette},
 year         = {2006},
 title        = {Control-Flow Semantics for Assembly-Level Data-Flow Graphs},
 editor       = {W. McCaull and M. Winter and I. D{\"u}ntsch},
 booktitle    = {8th Intl.\hbox{}{} Seminar on Relational Methods in Computer Science, {RelMiCS 8, Feb.\hbox{}{} 2005}},
 series       = {LNCS},
 volume       = {3929},
 publisher    = {Springer},
 pages        = {147--160},
 doi          = {10.1007/11734673\_12},
)
@book(Kahl-1996,
 author       = {W. Kahl},
 year         = {1996},
 title        = {{Algebraische Termgraphersetzung mit gebundenen Variablen}},
 series       = {Reihe Informatik},
 publisher    = {Herbert Utz Verlag Wissenschaft},
 address      = {M\"unchen},
 note         = {ISBN 3-931327-60-4; also Doctoral Diss.\hbox{}{} at Univ.\hbox{}{} der Bundeswehr M\"unchen, Fakult\"at f\"ur Informatik},
)
@techreport(Kahl-1997b,
 author       = {W. Kahl},
 year         = {1997},
 title        = {A Fibred Approach to Rewriting --- How the Duality between Adding and Deleting Cooperates with the Difference between Matching and Rewriting},
 type         = {Technical Report},
 number       = {9702},
 institution  = {Fakult\"at f\"ur Informatik, Universit\"at der Bundeswehr M\"unchen},
 url          = {http://www.cas.mcmaster.ca/~kahl/Publications/TR/Kahl-1997b.html},
)
@inproceedings(Kahl-2011_AgdaTG,
 author       = {W. Kahl},
 year         = {2011},
 title        = {Dependently-Typed Formalisation of Typed Term Graphs},
 editor       = {R. Echahed},
 booktitle    = {Proc. of 6th International Workshop on Computing with Terms and Graphs, {TERMGRAPH 2011}},
 series       = {EPTCS},
 volume       = {48},
 pages        = {38--53},
 doi          = {10.4204/EPTCS.48.6},
)
@article(Kahl-2014_Mouldable,
 author       = {W. Kahl},
 year         = {2014},
 title        = {Towards ``Mouldable Code'' via Nested Code Graph Transformation},
 journal      = {J.\hbox{}{} Logic and Algebraic Programming},
 volume       = {83},
 number       = {2},
 pages        = {225--234},
 doi          = {10.1016/j.jlap.2014.02.010},
)
@misc(Kahl-2017_RATH-Agda-2.2,
 author       = {W. Kahl},
 year         = {2017},
 title        = {{Relation-Algebraic Theories in Agda} --- {RATH-Agda-2.2}},
 howpublished = {Mechanically checked Agda theories, with 580 pages literate document output. \href{http://relmics.mcmaster.ca/RATH-Agda/}{\textsf{http://relmics.mcmaster.ca/RATH-Agda/}}},
 note         = {With contributions by Musa Al-hassy and Yuhang Zhao.},
)
@incollection(Kennaway-Klop-Sleep-deVries-1993c,
 author       = {J.R. Kennaway and J.W. Klop and M.R. Sleep and F.J. de Vries},
 year         = {1993},
 title        = {The Adequacy of Term Graph Rewriting for Simulating Term Rewriting},
 editor       = {Sleep},
 booktitle    = {Term Graph Rewriting: Theory and Practice},
 chapter      = {12},
 pages        = {157--170},
)
@article(Kennaway-Klop-Sleep-deVries-1994,
 author       = {J.R. Kennaway and J.W. Klop and M.R. Sleep and F.J. de Vries},
 year         = {1994},
 title        = {On the Adequacy of Graph Rewriting for Simulating Term Rewriting},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {16},
 number       = {3},
 pages        = {493--523},
 doi          = {10.1145/177492.177577},
)
@article(Lawvere-1963,
 author       = {F.W. Lawvere},
 year         = {1963},
 title        = {Functorial Semantics of Algebraic Theories},
 journal      = {Proc.\hbox{}{} Nat.\hbox{}{} Acad.\hbox{}{} Sci.\hbox{}{} USA},
 volume       = {50},
 pages        = {869--872},
 doi          = {10.2307/2272673},
)
@book(MacLane-1971,
 author       = {Mac Lane, S.},
 year         = {1971},
 title        = {Categories for the Working Mathematician},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4757-4721-8},
)
@phdthesis(Norell-2007,
 author       = {U. Norell},
 year         = {2007},
 title        = {Towards a Practical Programming Language Based on Dependent Type Theory},
 school       = {Dept.\hbox{}{} Comp.\hbox{}{} Sci.\hbox{}{} and Eng., Chalmers Univ.\hbox{}{} of Technology},
 note         = {See also \href{http://wiki.portal.chalmers.se/agda/pmwiki.php}{\textsf{http://wiki.portal.chalmers.se/agda/pmwiki.php}}},
)
@article(Plump-2002,
 author       = {D. Plump},
 year         = {2002},
 title        = {Essentials of Term Graph Rewriting},
 journal      = {ENTCS},
 volume       = {51},
 pages        = {277--289},
 doi          = {10.1016/S1571-0661(04)80210-X},
 note         = {GETGRATS Closing Workshop},
)
@incollection(Rose-1993,
 author       = {K.H. Rose},
 year         = {1993},
 title        = {Graph-based Operational Semantics of a Lazy Functional Language},
 editor       = {Sleep},
 booktitle    = {Term Graph Rewriting: Theory and Practice},
 chapter      = {22},
 pages        = {303--316},
)
@book(Sleep-Plasmeijer-vanEekelen-1993,
 editor       = {M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen},
 year         = {1993},
 title        = {Term Graph Rewriting: Theory and Practice},
 publisher    = {Wiley},
)
@phdthesis(Wadsworth-1971,
 author       = {C.P. Wadsworth},
 year         = {1971},
 title        = {Semantics and Pragmatics of the Lambda Calculus},
 type         = {{D.Phil.} thesis},
 school       = {Oxford University},
)
@misc(Zhao-2018_TGR1,
 author       = {Y. Zhao},
 year         = {2018},
 title        = {{Formalisation of Term Graph Rewriting in Agda} --- {TGR1}},
 howpublished = {Mechanically checked Agda development, with 283 pages literate document output. \href{http://relmics.mcmaster.ca/RATH-Agda/TGR1/}{\textsf{http://relmics.mcmaster.ca/RATH-Agda/TGR1/}}},
)