Ésik, Zoltán, and Masami Ito. “Temporal Logic With Cyclic Counting and the Degree of Aperiodicity of Finite Automata”. BRICS Report Series 8, no. 53 (December 4, 2001). Accessed April 30, 2024. https://tidsskrift.dk/brics/article/view/21714.