International Colloquium on Automata, Languages and Programming (10th 1983 Barcelona)