International Colloquium on Automata, Languages, and Programming (9th 1982 Aarhus, Denmark)