Tiago Massoni, Rohit Gheyi, Paulo Borba. A model-driven approach to formal refactoring. 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 124-125, ACM, 2005. [doi]
Abstract is missing.