J. Oliveira and M. Cruz. " Mapas e Praças de Porto Alegre: Grafos e Autômatos Finitos Determinísticos em oficina gamificada e desplugada para o Ensino Fundamental II", in Anais do III Simpósio Brasileiro de Computação na Educação Básica, Campo Grande/MS, 2026, pp. 194-200, doi: https://doi.org/10.5753/sbceb.2026.20954.