On calculating the Krohn-Rhodes decomposition of automata
Krohn-Rhodes prime decomposition theorem
scientific article; zbMATH DE number 1059617
scientific article