Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 - Leeuwen, J. van (Jan); Bakker, J. W. de (Jacobus Willem de), 1939- (Lecture notes in computer science, 1980)