Automata, languages and machines. VOL. B. - Eilenberg, Samuel (Pure and Applied Mathematics., 1976)