Canonical automata via distributive law homomorphisms
scientific article; zbMATH DE number 7959058
scientific article