Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 - Brauer, Wilfried (Lecture notes in computer science, 1985)