10. ICALP 1983: Barcelona, Spain