Z. Ésik and M. Ito, “Temporal logic with cyclic counting and the degree of aperiodicity of finite automata”, Acta Cybern, vol. 16, no. 1, pp. 1-28, Jan. 2003.