TY - BOOK AU - Alberto Pettorossi TI - Automata Theory and Formal Languages SN - 9783031119651 PB - Springer UR - https://link.springer.com/openurl?genre=book&isbn=978-3-031-11965-1 ER -