Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 - Brauer, Wilfried 1937-2014 (Springer, 1985)