A theory of ultimately periodic languages and automata with an application to time granularity
scientific article; zbMATH DE number 5610574