Automata, languages and machines, Volume A. - Academic Press, 1974. - ( Pure and Applied Mathematics - Academic Press/Elsevier ; 59).