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