Algebraic and Structural Automata Theory by 'Mikolajczak' & Mikolajczak