O. Danvy og K. Millikin, “A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines”, BRICS, bd. 14, nr. 8, mar. 2007.