R. Rebiha and A. Moura.
" Métodos Formais Algébricos para Geração de Invariantes", in <em>Anais do XXV Concurso de Teses e Dissertações</em>, Curitiba/PR, 2012, pp. 13-18.