A method for the specification by views. - Wolfgang Ditt (1990)