Freitas, André, and Ana Maria de Alencar Price. " Formalização de Heurísticas para o Apoio a Modelagem de Sistemas Orientados a Objetos." Proceedings of the 12th Brazilian Symposium on Software Engineering, Maringá/PR, 1998. SBC, 1998, pp.313-327.