AutomataMind: A Serious Game Proposal for the Automata Theory Learning. - Manuella Vieira; Victor Travassos Sarinho (ICEC-JCSG, 2019)