Danvy, O.; Millikin, K. On the Equivalence Between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion. BRICS 2007, 14.