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