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