Author: International Colloquium on Automata, Languages and Programming (11th 1984 Antwerp)