Ésik Z, Ito M. Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata. BRICS [Internet]. 4. december 2001 [henvist 5. december 2025];8(53). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21714