Automata, Languages and Programming (1973)