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 (CTD). [Online] :