Structural Theory of Automata, Semigroups, and Universal Alg