S. Jordaan, N. Timm, and L. Marshall.
" AutomaTutor: An Educational Mobile App for Teaching Automata Theory", in <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, Manaus/AM, 2023, pp. 131-140.