Roberto S. M. Barros, David J. Harper. Formal Development of Relational Database Applications. In David J. Harper, Moira C. Norrie, editors, Specifications of Database Systems. Workshops in Computing, pages 21-43, Springer, 1992. [doi]
Abstract is missing.