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