Automata, languages and programming : Seventh Colloquim, Noordwijkerhout, the Netherlands, July 14-18, 1980 - Automata, Languages and Programming Colloquim (7th : 1980 : Noordwijkerhout) (Lecture notes in computer science ; 85, 1980)