Dexter C. Kozen (1997) ‘Automata and Computability’, Springer Science+Business Media. oai:ais:library-item:18566