@inproceedings(ario:blom:1997,
 author       = "Zena~M. Ariola and Stefan Blom",
 year         = "1997",
 title        = "{Cyclic Lambda Calculi}",
 editor       = "Martin Abadi and Takayasu Ito",
 booktitle    = "Proceedings of TACS'97, Sendai, Japan, September 23--26, 1997",
 series       = "LNCS",
 volume       = "1281",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "77--106",
 doi          = "10.1007/BFb0014548",
)
@inproceedings(ario:klop:1994,
 author       = "Zena~M. Ariola and Jan~Willem Klop",
 year         = "1994",
 title        = "{Cyclic Lambda Graph Rewriting}",
 booktitle    = "Proceedings of the Symposium on Logic in Computer Science (LICS) 1994",
 pages        = "416 --425",
 doi          = "10.1109/LICS.1994.316066",
)
@article(ario:klop:1996,
 author       = "Zena~M. Ariola and Jan~Willem Klop",
 year         = "1996",
 title        = "{Equational Term Graph Rewriting}",
 journal      = "Fundamenta Informaticae",
 volume       = "26",
 number       = "3",
 pages        = "207--240",
 doi          = "10.3233/FI-1996-263401",
)
@phdthesis(blom:2001,
 author       = "Stefan Blom",
 year         = "2001",
 title        = "Term Graph Rewriting, Syntax and Semantics",
 school       = "Vrije Universiteit Amsterdam",
)
@article(de-bruijn:72,
 author       = "N.~G. de~Bruijn",
 year         = "1972",
 title        = "{Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the {Church-Rosser} Theorem}",
 journal      = "Indagationes Mathematicae",
 volume       = "34",
 pages        = "381--392",
 doi          = "10.1016/1385-7258(72)90034-0",
)
@techreport(grab:roch:2012,
 author       = "Clemens Grabmayer and Jan Rochel",
 year         = "2012",
 title        = "{Expressibility in the Lambda-Calculus with Letrec}",
 type         = "Technical Report",
 number       = "arXiv:1208.2383",
 institution  = "\url {http://arxiv.org}",
 note         = "\url {http://arxiv.org/abs/1208.2383}",
)
@inproceedings(hend:oost:2003,
 author       = "Dimitri Hendriks and Vincent van Oostrom",
 year         = "2003",
 title        = "{Lambda}",
 editor       = "F.~Baader",
 booktitle    = "Proceedings CADE-19",
 series       = "Lecture Notes in Artificial Intelligence",
 volume       = "2741",
 publisher    = "Springer--Verlag",
 pages        = "136--150",
)
@book(peyt:jone:1987,
 author       = "Simon~Peyton Jones",
 year         = "1987",
 title        = "The Implementation of Functional Programming Languages",
 publisher    = "Prentice-Hall, Inc.",
)
@misc(oost:looi:zwit:2004,
 author       = "Vincent van Oostrom and Kees-Jan van~de Looij and Marijn Zwitserlood",
 year         = "2004",
 title        = "Lambdascope",
 howpublished = "Extended Abstract for the Workshop on Algebra and Logic on Programming Systems (ALPS), Kyoto, April 10th 2004",
 note         = "\url {http://www.phil.uu.nl/~oostrom/publication/pdf/lambdascope.pdf}",
)
@book(terese:2003,
 author       = "Terese",
 year         = "2003",
 title        = "{Term Rewriting Systems}",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "55",
 publisher    = "Cambridge University Press",
)