William D. Clinger: Nondeterministic Call by Need is Neither Lazy Nor by Name. Symposium on LISP and Functional Programming 1982: 226-234