Danvy, O. and Millikin, K. 2007. On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion. BRICS Report Series. 14, 16 (Nov. 2007). DOI:https://doi.org/10.7146/brics.v14i16.21935.