Slaviero, Cleyton, E Haeusler, Edward. " A-Games: using game-like representation for representing finite automata" Anais do Workshop-Escola de Informática Teórica (WEIT) [Online], (17 novembro 2021)