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