Call-by-Need and Continuation-Passing Style. - Okasaki, Chris; Lee, Peter; Tarditi, David (LISP Symb. Comput., 1994)