C. Slaviero and E. Haeusler. " A-Games: using game-like representation for representing finite automata", in Anais do VI Workshop-Escola de Informática Teórica, Online, 2021, pp. 25-32, doi: https://doi.org/10.5753/weit.2021.18918.