International Colloquium on Automata, Languages and Programming (12th 1985 Nafplion, Greece)