Ésik, Zoltán, and Masami Ito. 2003. “Temporal Logic With Cyclic Counting and the Degree of Aperiodicity of Finite Automata”. Acta Cybernetica 16 (1), 1-28. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3606.