O. Danvy and K. Millikin, “On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion”, BRICS, vol. 14, no. 16, Nov. 2007.