MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo. Formal Refactoring for UML Class Diagrams. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 19. , 2005, Uberlândia/MG. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2005 . p. 152-167. DOI: https://doi.org/10.5753/sbes.2005.23817.