Tiago Massoni, Rohit Gheyi, Paulo Borba. Formal Refactoring for UML Class Diagrams. In Arndt von Staa, editor, Proceedings of the 19th Brazilian Symposium on Software Engineering, SBES 2005, Uberlândia, MG, Brazil, October 3-7, 2005. pages 152-167, SBC, 2005. [doi]
Abstract is missing.