Automata, languages and machines. VOL. B. - Eilenberg, Samuel (Academic Press, 1976)