Automata Theory and Formal Languages : Fundamental Notions, Theorems, and Techniques - Pettorossi, Alberto. (Springer International Publishing AG, 2022)