Automata, languages and machines - Eilenberg Samuel (N Y Academic Press, 1974)
Keywords: Automata theory; Mathematical logic