Massoni, Tiago, Rohit Gheyi, and Paulo Borba.
" Formal Refactoring for UML Class Diagrams." <em>Proceedings of the 19th Brazilian Symposium on Software Engineering,
Uberlândia/MG, 2005</em>. SBC, 2005,  
pp.152-167.