Massoni, Tiago, 		Gheyi, Rohit, AND 		Borba, Paulo.
" Formal Refactoring for UML Class Diagrams" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (3 October 2005)