Z. Ésik and M. Ito, “Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata”, BRICS, vol. 8, no. 53, Dec. 2001.