Rabin tree automata and finite monoids
scientific article; zbMATH DE number 708717
scientific article