@inproceedings(guttmann2008lazy,
 author       = {Walter Guttmann},
 year         = {2010},
 title        = {Lazy UTP},
 booktitle    = {Symposium on Unifying Theories of Programming},
 publisher    = {Springer LNCS 5713},
 pages        = {82--101},
 doi          = {10.1007/978-3-642-14521-6\_6},
)
@book(hehner2012practical,
 author       = {Eric C.R. Hehner},
 year         = {1993},
 title        = {A Practical Theory of Programming},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4419-8596-5},
 url          = {http://www.cs.utoronto.ca/~hehner/aPToP},
)
@inproceedings(henderson1976lazy,
 author       = {Peter Henderson and James H. Morris},
 year         = {1976},
 title        = {A Lazy Evaluator},
 booktitle    = {ACM Symposium on Principles of Programming Languages},
 pages        = {95--103},
 doi          = {10.1145/800168.811543},
)
@article(hughes1989functional,
 author       = {John Hughes},
 year         = {1989},
 title        = {Why Functional Programming Matters},
 journal      = {Computer Journal},
 volume       = {32},
 number       = {2},
 pages        = {98--107},
 doi          = {10.1093/comjnl/32.2.98},
)
@phdthesis(lai2013eager,
 author       = {Albert Y.C. Lai},
 year         = {2013},
 title        = {Eager, Lazy, and Other Executions for Predicative Programming},
 school       = {University of Toronto},
)
@inproceedings(sands1990complexity,
 author       = {David Sands},
 year         = {1990},
 title        = {Complexity Analysis for a Lazy Higher-Order Language},
 booktitle    = {European Symposium on Programming},
 publisher    = {Springer LNCS 432},
 pages        = {361--376},
 doi          = {10.1007/3-540-52592-0\_74},
)
@article(turner1979new,
 author       = {David A. Turner},
 year         = {1979},
 title        = {A New Implementation Technique for Applicative Languages},
 journal      = {Software: Practice and Experience},
 volume       = {9},
 number       = {1},
 pages        = {31--49},
)