The semantics of lazy (and industrious) evaluation (1984)

by Robert Cartwright, James Donahue