ÉSIK, Z.; ITO, M. Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata. BRICS Report Series, [S. l.], v. 8, n. 53, 2001. DOI: 10.7146/brics.v8i53.21714. Disponível em: https://tidsskrift.dk/brics/article/view/21714. Acesso em: 21 feb. 2024.