Danvy O, Millikin K. A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines. BRICS [Internet]. 2007 Mar. 12 [cited 2024 Nov. 8];14(8). Available from: https://tidsskrift.dk/brics/article/view/21931