Paiva, Pedro, Maurício Souza, and Ricardo Terra.
" Ferramentas de apoio para a disciplina de Linguagens Formais e Autômatos: uma proposta de uso." <em>Anais do XXXIV Simpósio Brasileiro de Informática na Educação,
Passo Fundo/RS, 2023</em>. SBC, 2023,  
pp.1698-1709.