Ager, Mads Sig, Dariusz Biernacki, Olivier Danvy, and Jan Midtgaard. “A Functional Correspondence Between Evaluators and Abstract Machines”. BRICS Report Series 10, no. 13 (March 6, 2003). Accessed June 16, 2024. https://tidsskrift.dk/brics/article/view/21783.