Ager, M. S.; Biernacki, D.; Danvy, O.; Midtgaard, J. A Functional Correspondence Between Evaluators and Abstract Machines. BRICS 2003, 10.