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