Freitas, André, E Price, Ana. " Formalização de Heurísticas para o Apoio a Modelagem de Sistemas Orientados a Objetos" Anais do Simpósio Brasileiro de Engenharia de Software (SBES) [Online], (13 outubro 1998)