Nondeterministic call by need is neither lazy nor by name (1982)

by William D Clinger
Venue:Pages 226-234 in Symposium on LISP and Functional Programming