(1)
Gordon, A. D.; Hankin, P. D.; Lassen, S. B. Compilation and Equivalence of Imperative Objects (Revised Report). BRICS 1998, 5.