Danvy, O., and K. Millikin. “On the Equivalence Between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion”. BRICS Report Series, vol. 14, no. 16, Nov. 2007, doi:10.7146/brics.v14i16.21935.