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