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