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