Automata And Computability - Kozen, Dexter C (New York Springer, 1997)
Keywords: Computer Science And Engineering