Automata, languages and programming : seventh colloquium Noordwijkerhout, the Netherlands, july 14-18, 1980. - Bakker, J. W.; Leeuwen, J. van (Lecture Notes in Computer Science ;, 1980)