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