@techreport {DRP-201403-Maurer,
type = {Directed Research Project},
author = {Luke Maurer},
title = {Lazy Functions as Processes},
institution = {University of Oregon, Computer and Information Sciences Department},
number = DRP-201403-Maurer,
month = 3,
year = 2014,
note = {Available at \url{https://www.cs.uoregon.edu/Reports/DRP-201403-Maurer.pdf}},
}