12. ICALP 1985: Nafplion, Greece