Danvy, Olivier, and Kevin Millikin. “On the Equivalence Between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion”. BRICS Report Series 14, no. 16 (November 12, 2007). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/21935.