Ésik, Z. and Ito, M. 2003. Temporal logic with cyclic counting and the degree of aperiodicity of finite automata. Acta Cybernetica. 16, 1 (Jan. 2003), 1-28.