Adam Bakewell Colin Runciman A model for comparing the space usage of lazy evaluators. 151-162 2000 PPDP http://doi.acm.org/10.1145/351268.351287 db/conf/ppdp/ppdp2000.html#BakewellR00