Moreira, Ana, and Robert G. Clark.
" Os Métodos Formais na Análise de Orientação por Objectos." <em>Anais do VII Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.238-252.