Ager, Mads Sig, Olivier Danvy, and Jan Midtgaard. 2004. “A Functional Correspondence Between Call-by-Need Evaluators and Lazy Abstract Machines”. BRICS Report Series 11 (3). https://doi.org/10.7146/brics.v11i3.21828.