A note on \(\omega\)-regular languages
scientific article; zbMATH DE number 3819115