Moreira, Ana, E 		Clark, Robert.
" Os Métodos Formais na Análise de Orientação por Objectos" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (27 outubro 1993)