Ésik, Z., & Ito, M. (2001). Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata. BRICS Report Series, 8(53). https://doi.org/10.7146/brics.v8i53.21714