Gordon, A. D.; Hankin, P. D.; Lassen, S. B. Compilation and Equivalence of Imperative Objects. BRICS 1997, 4.