Ésik, Z.; Ito, M. Temporal Logic With Cyclic Counting and the Degree of Aperiodicity of Finite Automata. BRICS 2001, 8.