@article(arnold80fi,
 author       = "A.~Arnold and M.~Nivat",
 year         = "1980",
 title        = "The metric space of infinite trees. {A}lgebraic and topological properties",
 journal      = "Fundam. Inf.",
 volume       = "3",
 number       = "4",
 pages        = "445--476",
)
@mastersthesis(bahr09master,
 author       = "P.~Bahr",
 year         = "2009",
 title        = "Infinitary Rewriting - Theory and Applications",
 type         = "Master's thesis",
 school       = "Vienna University of Technology",
 address      = "Vienna",
)
@inproceedings(bahr10rta,
 author       = "P.~Bahr",
 year         = "2010",
 title        = "Abstract Models of Transfinite Reductions",
 editor       = "C.~Lynch",
 booktitle    = "RTA'10",
 volume       = "6",
 pages        = "49--66",
 doi          = "10.4230/LIPIcs.RTA.2010.49",
)
@inproceedings(bahr10rta2,
 author       = "P.~Bahr",
 year         = "2010",
 title        = "Partial Order Infinitary Term Rewriting and B{\"o}hm Trees",
 editor       = "C.~Lynch",
 booktitle    = "RTA'10",
 volume       = "6",
 pages        = "67--84",
 doi          = "10.4230/LIPIcs.RTA.2010.67",
)
@inproceedings(bahr12rta,
 author       = "P.~Bahr",
 year         = "2012",
 title        = "Infinitary Term Graph Rewriting is Simple, Sound and Complete",
 editor       = "A.~Tiwari",
 booktitle    = "RTA'12",
 volume       = "15",
 pages        = "69--84",
 doi          = "10.4230/LIPIcs.RTA.2012.69",
)
@article(bahr12lmcs,
 author       = "P.~Bahr",
 year         = "2012",
 title        = "Modes of Convergence for Term Graph Rewriting",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "2",
 eid          = "6",
 doi          = "10.2168/LMCS-8(2:6)2012",
)
@unpublished(bahr13mscs,
 author       = "P.~Bahr",
 year         = "2013",
 title        = "Convergence in Infinitary Term Graph Rewriting Systems is Simple",
 note         = "Math. Struct. in Comp. Science, to appear",
)
@inproceedings(barendregt87parle,
 author       = "H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and R.~Kennaway and M.J. Plasmeijer and M.R. Sleep",
 year         = "1987",
 title        = "Term graph rewriting",
 editor       = "Philip C.~Treleaven Jaco~de Bakker, A. J.~Nijman",
 booktitle    = "PARLE'87",
 series       = "LNCS",
 volume       = "259",
 publisher    = "Springer",
 pages        = "141--158",
 doi          = "10.1007/3-540-17945-3_8",
)
@incollection(barendsen03book,
 author       = "E.~Barendsen",
 year         = "2003",
 title        = "Term Graph Rewriting",
 editor       = "Terese",
 booktitle    = "Term Rewriting Systems",
 chapter      = "13",
 publisher    = "Cambridge University Press",
 pages        = "712--743",
)
@article(barr93tcs,
 author       = "M.~Barr",
 year         = "1993",
 title        = "Terminal coalgebras in well-founded set theory",
 journal      = "Theor. Comput. Sci.",
 volume       = "114",
 number       = "2",
 pages        = "299 -- 315",
 doi          = "10.1016/0304-3975(93)90076-6",
)
@inproceedings(berry77popl,
 author       = "G.~Berry and J.-J. L\'{e}vy",
 year         = "1977",
 title        = "Minimal and optimal computations of recursive programs",
 booktitle    = "POPL'77",
 pages        = "215--226",
 doi          = "10.1145/512950.512971",
)
@inproceedings(corradini93tapsoft,
 author       = "A.~Corradini",
 year         = "1993",
 title        = "Term rewriting in {$CT_\Sigma $}",
 editor       = "M.-C. Gaudel and J.-P. Jouannaud",
 booktitle    = "TAPSOFT'93",
 pages        = "468--484",
 doi          = "10.1007/3-540-56610-4_83",
)
@article(goguen77jacm,
 author       = "J.A. Goguen and J.W. Thatcher and E.G. Wagner and J.B. Wright",
 year         = "1977",
 title        = "Initial Algebra Semantics and Continuous Algebras",
 journal      = "J. ACM",
 volume       = "24",
 number       = "1",
 pages        = "68--95",
 doi          = "10.1145/321992.321997",
)
@inproceedings(henderson76popl,
 author       = "P.~Henderson and J.H. Morris, Jr.",
 year         = "1976",
 title        = "A lazy evaluator",
 booktitle    = "POPL'76",
 pages        = "95--103",
 doi          = "10.1145/800168.811543",
)
@article(kennaway94toplas,
 author       = "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",
)
@article(kennaway95ic,
 author       = "R.~Kennaway and J.W. Klop and M.R. Sleep and F.-J. de~Vries",
 year         = "1995",
 title        = "Transfinite Reductions in Orthogonal Term Rewriting Systems",
 journal      = "Inf. Comput.",
 volume       = "119",
 number       = "1",
 pages        = "18--38",
 doi          = "10.1006/inco.1995.1075",
)
@incollection(kennaway03book,
 author       = "R.~Kennaway and F.-J. de~Vries",
 year         = "2003",
 title        = "Infinitary Rewriting",
 editor       = "Terese",
 booktitle    = "Term Rewriting Systems",
 edition      = "1st",
 chapter      = "12",
 publisher    = "Cambridge University Press",
 pages        = "668--711",
)
@misc(marlow10haskell,
 author       = "S.~Marlow",
 year         = "2010",
 title        = "Haskell 2010 Language Report",
)
@incollection(plump99hggcbgt,
 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 Publishing Co., Inc.",
 pages        = "3--61",
 doi          = "10.1142/9789812815149_0001",
)