Ager, M. S.; Danvy, O.; Midtgaard, J. A Functional Correspondence Between Call-by-Need Evaluators and Lazy Abstract Machines. BRICS 2003, 10.