Danvy, Olivier, and Kevin Millikin. 2007. “A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines”. BRICS Report Series 14 (8). https://doi.org/10.7146/brics.v14i8.21931.