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