T. Massoni, R. Gheyi, and P. Borba.
" Formal Refactoring for UML Class Diagrams", in <em>Proceedings of the 19th Brazilian Symposium on Software Engineering</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>.