7. ICALP 1980: Noordweijkerhout, The Netherland