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