A. D. Gordon, P. D. Hankin, og S. B. Lassen, “Compilation and Equivalence of Imperative Objects”, BRICS, bd. 4, nr. 19, jul. 1997.