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