Automata And Computability - Kozen, Dexter C (New Delhi Springer, 2002)
Keywords: Automata; Mathematics