M. S. Ager, O. Danvy, and J. Midtgaard, “A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects”, BRICS, vol. 11, no. 28, Dec. 2004.