Santos, Mateus, Joslaine Cristina Jeske de Freitas, Gecirlei Francisco Silva, and Esdras Lins Bispo Jr.. " Validação de um Sistema de Visualização de Algoritmos no Ensino de Provas por Indução em Teoria dos Grafos." Anais do XXXI Simpósio Brasileiro de Informática na Educação, Online, 2020. SBC, 2020, pp.1613-1622.