Danvy, O.; Millikin, K. A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines. BRICS 2007, 14.