Andrew Moran David Sands Improvement in a Lazy Context: An Operational Theory for Call-by-Need. 43-56 1999 POPL http://doi.acm.org/10.1145/292540.292547 db/conf/popl/popl99.html#MoranS99