Peter Henderson James H. Morris Jr. A Lazy Evaluator. 95-103 1976 POPL db/conf/popl/popl76.html#HendersonM76