GORDON, A.; HANKIN, P.; LASSEN, S. Compilation and Equivalence of Imperative Objects (Revised Report). BRICS Report Series, v. 5, n. 55, 15 Dec. 1998.