Automata, languages, and machines - Eilenberg, Samuel (Pure and applied mathematics (Academic Press), 1974)