Lange, M. “Temporal Logics Beyond Regularity”. BRICS Report Series, vol. 14, no. 13, Jan. 2007, doi:10.7146/brics.v14i13.22178.