Compilation and Equivalence of Imperative Objects (1998)

by Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen