Authors: K.-D. Schewe, I. Wetzel, J.W. Schmidt
Titel: Towards a Structured Specification Language
       for Database Applications.
Print file: available as TR FIDE/93/59