A. D. Gordon, P. D. Hankin, and S. B. Lassen, “Compilation and Equivalence of Imperative Objects”, BRICS, vol. 4, no. 19, Jul. 1997.