Varieties of finite monoids and Büchi-McNaughton theorem
scientific article; zbMATH DE number 65319