International Colloquium on Automata, Languages and Programming (13th 1986 Rennes)