Z. Ésik og M. Ito, “Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata”, BRICS, bd. 8, nr. 53, dec. 2001.