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 11, no. 28 (December 11, 2004). Accessed April 23, 2024. https://tidsskrift.dk/brics/article/view/21853.