OUEVRE (Per Jonsson, revisions by F. Werner. What have we learned? What models (or other approaches to synthesis) exist or are needed and of what type?