Page "Algebraic automata theory" not found :(