9. ICALP 1982: Aarhus, Denmark