T. Massoni, R. Gheyi, and P. Borba.
"Formal Refactoring for UML Class Diagrams", in <em>Anais do XIX Simpósio Brasileiro de Engenharia de Software</em>, Uberlândia/MG, 2005, pp. 152-167, doi: <a href="https://doi.org/10.5753/sbes.2005.23817">https://doi.org/10.5753/sbes.2005.23817</a>.