@inproceedings(abra:1990,
 author       = "Samson Abramsky",
 year         = "1990",
 title        = "The Lazy Lambda Calculus",
 booktitle    = "Research Topics in Functional Programming",
 publisher    = "Addison-Wesley",
 pages        = "65--116",
 note         = "Updated version (2006) available at \url {http://web.comlab.ox.ac.uk/people/Samson.Abramsky/lazy.pdf}",
)
@book(AspertiGuerriniOptImpl,
 author       = "Andrea Asperti and Stefano Guerrini",
 year         = "1998",
 title        = "The Optimal Implementation of Functional Programming Languages",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "45",
 publisher    = "Cambridge University Press",
)
@book(bare:1984,
 author       = "H.P. Barendregt",
 year         = "1984",
 title        = "{The Lambda Calculus: Its Syntax and Semantics}",
 edition      = "$2$nd",
 series       = "SLFM",
 volume       = "103",
 publisher    = "Elsevier",
)
@techreport(brui:1987,
 author       = "N.G. de Bruijn",
 year         = "1987",
 title        = "{Generalizing Automath by Means of a Lambda-Typed Lambda Calculus}",
 type         = "Technical Report",
 number       = "AUT092 (AUTOMATH archive \url {http://www.win.tue.nl/automath/})",
 institution  = "Technische Universiteit Eindhoven, Eindhoven, the Netherlands",
 url          = "http://alexandria.tue.nl/repository/freearticles/597608.pdf",
)
@incollection(danv:1999,
 author       = "Olivier Danvy",
 year         = "1999",
 title        = "An Extensional Characterization of Lambda-Lifting and Lambda-Dropping",
 editor       = "Aart Middeldorp and Taisuke Sato",
 booktitle    = "Functional and Logic Programming",
 series       = "LNCS",
 volume       = "1722",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "241--250",
 doi          = "10.1007/10705424\_16",
)
@incollection(danv:schu:2002,
 author       = "Olivier Danvy and Ulrik Schultz",
 year         = "2002",
 title        = "Lambda-Lifting in Quadratic Time",
 editor       = "Zhenjiang Hu and Mario Rodr\'{i}guez-Artalejo",
 booktitle    = "Functional and Logic Programming",
 series       = "LNCS",
 volume       = "2441",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "134--151",
 doi          = "10.1007/3-540-45788-7\_8",
)
@inproceedings(danv:schu:1997,
 author       = "Olivier Danvy and Ulrik P. Schultz",
 year         = "1997",
 title        = "Lambda-dropping: transforming recursive equations into programs with block structure",
 booktitle    = "Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation",
 series       = "PEPM '97",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "90--106",
 doi          = "10.1145/258993.259007",
)
@unpublished(endr:grab:klop:oost:2010,
 author       = "J\"{o}rg Endrullis and Clemens Grabmayer and Jan Willem Klop and Vincent van Oostrom",
 year         = "2010",
 title        = "{On Equal $\mu $\nbde {}Terms}",
 note         = "Submitted, currently under review, to be published in 2011",
)
@article(hech:ullm:1974,
 author       = "M. S. Hecht and J. D. Ullman",
 year         = "1974",
 title        = "Characterizations of Reducible Flow Graphs",
 journal      = "JACM",
 volume       = "21",
 pages        = "367--375",
 doi          = "10.1145/321832.321835",
)
@incollection(john:1985,
 author       = "Thomas Johnsson",
 year         = "1985",
 title        = "Lambda lifting: Transforming programs to recursive equations",
 editor       = "Jean-Pierre Jouannaud",
 booktitle    = "Functional Programming Languages and Computer Architecture",
 series       = "LNCS",
 volume       = "201",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "190--203",
 doi          = "10.1007/3-540-15975-4\_37",
)
@article(kama:nede:1995,
 author       = "Fairouz Kamareddine and Rob Nederpelt",
 year         = "1995",
 title        = "Refining reduction in the lambda calculus",
 journal      = "Journal of Functional Programming",
 volume       = "5",
 number       = "4",
 pages        = "637--651",
 doi          = "10.1017/S0956796800001507",
)
@book(peyt:jone:1987,
 author       = "Simon L. Peyton Jones",
 year         = "1987",
 title        = "The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)",
 publisher    = "Prentice-Hall, Inc.",
 address      = "Upper Saddle River, NJ, USA",
)
@book(terese:2003,
 author       = "Terese",
 year         = "2003",
 title        = "{Term Rewriting Systems}",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "55",
 publisher    = "Cambridge University Press",
)