Automata, languages and programming : seventh colloquium Noordwijkerhout, the Netherlands, july 14-18, 1980. - Bakker, J. W. (Springer Verlag, 1980)