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