Massoni, T., 		Gheyi, R., & 		Borba, P.
(2005).
 Formal Refactoring for UML Class Diagrams.
In <em>Proceedings of the 19th Brazilian Symposium on Software Engineering</em>, (pp. 152-167). Porto Alegre: SBC.
doi:10.5753/sbes.2005.23817