Compilation and equivalence of imperative objects (1997)

by Andrew D Gordon, Paul D Hankin, Søren B Lassen
Venue:Proceedings 17th Conference on Foundations of Software Technology and Theoretical Computer Science, FST+TCS’97, volume 1346 of Lecture Notes in Computer Science