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