A. Moreira and R. Clark.
" Os Métodos Formais na Análise de Orientação por Objectos", in <em>Anais do VII Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 1993, pp. 238-252, doi: <a href="https://doi.org/10.5753/sbes.1993.24408">https://doi.org/10.5753/sbes.1993.24408</a>.