Massoni, T., 		Gheyi, R., & 		Borba, P.
(2005).
Formal Refactoring for UML Class Diagrams.
In <em>Anais do XIX Simpósio Brasileiro de Engenharia de Software</em>, (pp. 152-167). Porto Alegre: SBC.
doi:10.5753/sbes.2005.23817