M. Santos, J. Freitas, G. Silva, and E. Bispo Jr..
"Validação de um Sistema de Visualização de Algoritmos no Ensino de Provas por Indução em Teoria dos Grafos", in <em>Anais do XXXI Simpósio Brasileiro de Informática na Educação</em>, Online, 2020, pp. 1613-1622, doi: <a href="https://doi.org/10.5753/cbie.sbie.2020.1613">https://doi.org/10.5753/cbie.sbie.2020.1613</a>.