Rebiha, Rachid, E 		Moura, Arnaldo.
" Métodos Formais Algébricos para Geração de Invariantes" <em>Anais do Concurso de Teses e Dissertações (CTD)</em> [Online], (16 julho 2012)