@incollection(acca:guer:2009,
 author       = "B.~Accattoli and S.~Guerrini",
 year         = "2009",
 title        = "Jumping Boxes",
 editor       = "Erich Gr\"{a}del and Reinhard Kahle",
 booktitle    = "Computer Science Logic",
 series       = "Lecture Notes in Computer Science",
 volume       = "5771",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "55--70",
 doi          = "10.1007/978-3-642-04027-6\_7",
)
@article(aspe:1995,
 author       = "A.~Asperti",
 year         = "1995",
 title        = "Linear Logic, Comonads And Optimal Reductions",
 journal      = "Fundamenta Informaticae",
 volume       = "22",
 number       = "1,2",
 pages        = "3--22",
 doi          = "10.3233/FI-1995-22121",
 url          = "http://dl.acm.org/citation.cfm?id=2383063.2383064",
)
@article(bird:pate:1999,
 author       = "R.~Bird and R.~Paterson",
 year         = "1999",
 title        = "{De {Bruijn} Notation as a Nested Datatype}",
 journal      = "Journal of Functional Programming",
 volume       = "9",
 number       = "1",
 pages        = "77--91",
 doi          = "10.1017/S0956796899003366",
 url          = "http://www.soi.city.ac.uk/~ross/papers/debruijn.html",
)
@phdthesis(blom:2001,
 author       = "S.~Blom",
 year         = "2001",
 title        = "Term Graph Rewriting -- Syntax and Semantics",
 school       = "Vrije Universiteit Amsterdam",
)
@book(Bour:1954,
 author       = "N.~Bourbaki",
 year         = "1954",
 title        = "\'{E}l\'{e}ments de math\'{e}matiques: Th\'{e}ories des ensembles",
 publisher    = "Hermann",
)
@article(ghan:luth:marc:2005,
 author       = "N.~Ghani and C.~L\"{u}th and F.~de~Marchi",
 year         = "2005",
 title        = "Monads of coalgebras: rational terms and term graphs",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "15",
 pages        = "433--451",
 doi          = "10.1017/S0960129505004743",
)
@inproceedings(grab:roch:2013:a:TERMGRAPH,
 author       = "C.~Grabmayer and J.~Rochel",
 year         = "2013",
 title        = "{Term Graph Representations for Cyclic Lambda Terms}",
 booktitle    = "Proceedings of TERMGRAPH 2013",
 series       = "EPTCS",
 volume       = "110",
 pages        = "56--73",
 doi          = "10.4204/EPTCS.110",
 note         = "Extending report: \href {http://arxiv.org/abs/1308.1034}{arXiv:1308.1034}",
)
@inproceedings(grab:roch:2014:ICFP,
 author       = "C.~Grabmayer and J.~Rochel",
 year         = "2014",
 title        = "{Maximal Sharing in the Lambda Calculus with letrec}",
 booktitle    = "Proceedings of ICFP~'14, September 1--6, 2014, Gothenburg, Sweden",
 pages        = "67--80",
 doi          = "10.1145/2628136.2628148",
)
@inproceedings(hugh:1982,
 author       = "R.J.M. Hughes",
 year         = "1982",
 title        = "Supercombinators: A new implementation method for applicative languages",
 booktitle    = "LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming",
 pages        = "1--10",
 doi          = "10.1145/800068.802129",
)
@article(kenn:klop:sleep:vrie: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 Trans. Program. Lang. Syst.",
 volume       = "16",
 number       = "3",
 pages        = "493--523",
 doi          = "10.1145/177492.177577",
)
@inproceedings(Kohl:etal:86,
 author       = "E.~Kohlbecker and D.P. Friedman and M.~Felleisen and B.~Duba",
 year         = "1986",
 title        = "Hygienic Macro Expansion",
 booktitle    = "Proceedings of the 1986 ACM Conference on LISP and Functional Programming",
 series       = "LFP '86",
 publisher    = "ACM",
 pages        = "151--161",
 doi          = "10.1145/319838.319859",
)
@inproceedings(lafo:1990,
 author       = "Y.~Lafont",
 year         = "1990",
 title        = "{Interaction Nets}",
 booktitle    = "{POPL~'90}",
 publisher    = "ACM Press",
 pages        = "95--108",
 doi          = "10.1145/96709.96718",
)
@phdthesis(luth:1997,
 author       = "C.~L\"{u}th",
 year         = "1997",
 title        = "{Categorial Term Rewriting: Monads and Modularity}",
 school       = "University of Edinburgh",
)
@incollection(luth:ghan:1997,
 author       = "C.~L\"{u}th and N.~Ghani",
 year         = "1997",
 title        = "Monads and modular term rewriting",
 editor       = "E.~Moggi and G.~Rosolini",
 booktitle    = "Category Theory and Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "1290",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "69--86",
 doi          = "10.1007/BFb0026982",
)
@incollection(plum:1999,
 author       = "D.~Plump",
 year         = "1999",
 title        = "{Term Graph Rewriting}",
 editor       = "H.~Ehrig and G.~Engels and H.-J. Kreowski and G.~Rozenberg",
 booktitle    = "Handbook of Graph Grammars and Computing by Graph Transformation",
 volume       = "2",
 publisher    = "World Scientific",
 pages        = "3--61",
 doi          = "10.1142/9789812815149\_0001",
)
@book(Quin:1940,
 author       = "W.~Van~Orman Quine",
 year         = "1940",
 title        = "Mathematical Logic",
 publisher    = "Harvard University Press, Cambridge, Mass.",
)
@phdthesis(raam:1996,
 author       = "F.~van Raamsdonk",
 year         = "1996",
 title        = "{Confluence and Normalisation for Higher-Order Rewriting}",
 school       = "Vrije Universiteit Amsterdam",
)
@book(slee:plas:eeke:1993,
 author       = "M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen",
 year         = "1993",
 title        = "Term Graph Rewriting -- Theory and Practice",
 publisher    = "John Wiley \&\ Sons",
)
@book(terese:2003,
 author       = "Terese",
 year         = "2003",
 title        = "{Term Rewriting Systems}",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "55",
 publisher    = "Cambridge University Press",
)