Title: Thirteenth International Colloquium on Automata, Languages and Programming, Rennes, July 1986
First published: 1988