7. ICDCS 1987: Berlin, Germany