Automata Theory and Formal Languages - Alberto Pettorossi (Springer, 2022)