Title: Declarative Programming, Sasbachwalden 1991