Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen. Compilation and Equivalence of Imperative Objects. In S. Ramesh, G. Sivakumar, editors, Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings. Volume 1346 of Lecture Notes in Computer Science, pages 74-87, Springer, 1997. [doi]
Abstract is missing.