Algebraic and structural automata theory - Mikolajczak, Boleslaw (Annals of discrete mathematics, 1991)