Danvy, O., and K. Millikin. “A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines”. BRICS Report Series, vol. 14, no. 8, Mar. 2007, doi:10.7146/brics.v14i8.21931.