M. S. Ager, O. Danvy, og J. Midtgaard, “A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines”, BRICS, bd. 11, nr. 3, feb. 2004.