M. S. Ager, O. Danvy, og J. Midtgaard, “A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines”, BRICS, bd. 10, nr. 24, aug. 2003.