John Launchbury A Natural Semantics for Lazy Evaluation. 144-154 1993 POPL db/conf/popl/popl93.html#Launchbury93