Computation and Automata - Salomaa Arto (Cambridge C U P, 1985)
Keywords: Automata theory; Mathematical logic