A. D. Gordon, P. D. Hankin, and S. B. Lassen, “Compilation and Equivalence of Imperative Objects (Revised Report)”, BRICS, vol. 5, no. 55, Dec. 1998.