Dexter C. Kozen - Automata and Computability [Pdf - Eng] Informatica - Programmazione - 1° Edizione