Andrew D. Gordon Paul D. Hankin Søren B. Lassen Compilation and Equivalence of Imperative Objects. 74-87 http://link.springer.de/link/service/series/0558/bibs/1346/13460074.htm 1997 conf/fsttcs/1997 FSTTCS db/conf/fsttcs/fsttcs97.html#GordonHL97