Ager, M. S.; Danvy, O.; Midtgaard, J. A Functional Correspondence Between Monadic Evaluators and Abstract Machines for Languages With Computational Effects. BRICS 2004, 11.