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). doi: 10.7146/brics.v14i16.21935.