Klaus-Dieter Schewe, Ingrid Wetzel, Joachim W. Schmidt. Towards a Structured Specification Language for Database Applications. In David J. Harper, Moira C. Norrie, editors, Specifications of Database Systems. Workshops in Computing, pages 255-274, Springer, 1992. [doi]
Abstract is missing.