13. ICALP 1986: Rennes, France