Danvy, Olivier, and Kevin Millikin. 2007. “On the Equivalence Between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion”. BRICS Report Series 14 (16). https://doi.org/10.7146/brics.v14i16.21935.