Massoni, Tiago, Rohit Gheyi, and Paulo Borba.
"Formal Refactoring for UML Class Diagrams." <em>Anais do XIX Simpósio Brasileiro de Engenharia de Software,
Uberlândia/MG, 2005</em>. SBC, 2005,  
pp.152-167.