Ager, Mads Sig, Olivier Danvy, and Jan Midtgaard. “A Functional Correspondence Between Monadic Evaluators and Abstract Machines for Languages With Computational Effects”. BRICS Report Series 10, no. 35 (November 6, 2003). Accessed April 28, 2024. https://tidsskrift.dk/brics/article/view/21803.