Lange, Martin. “Temporal Logics Beyond Regularity”. BRICS Report Series, bd. 14, nr. 13, januar 2007, doi:10.7146/brics.v14i13.22178.