Massoni, Tiago, 		Gheyi, Rohit, E 		Borba, Paulo.
" Formal Refactoring for UML Class Diagrams" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 2005)