M. S. Ager, O. Danvy, og J. Midtgaard, “A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects”, BRICS, bd. 10, nr. 35, nov. 2003.