Massoni, T., 		Gheyi, R., & 		Borba, P.
2005 out  3.  Formal Refactoring for UML Class Diagrams. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :