Structural Theory of Automata, Semigroups, and Universal Algebra by I.G. Rosenberg