Automata, Languages and Programming - LOECKX, J. (1975)