Rohit Gheyi, Tiago Massoni. Formal refactorings for object models. In Ralph E. Johnson, Richard P. Gabriel, editors, Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA. pages 208-209, ACM, 2005. [doi]
Abstract is missing.