Rebiha, R., & 		Moura, A.
2012 jul 16.  Métodos Formais Algébricos para Geração de Invariantes. Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC). [Online] :