Automata and computability - Kozen/Dexter C (Springer, 1997)
ENGLISH
Keywords: Automata