Moreira, A., & 		Clark, R.
1993 out 27.  Os Métodos Formais na Análise de Orientação por Objectos. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :