Ager, Mads Sig, m.fl. “A Functional Correspondence Between Call-by-Need Evaluators and Lazy Abstract Machines”. BRICS Report Series, bd. 10, nr. 24, august 2003, doi:10.7146/brics.v10i24.21955.