A Method for the Specification of Relational Database Applications.

Roberto Souto Maior de Barros David J. Harper A Method for the Specification of Relational Database Applications. 261-286 1991 conf/zum/1991 Z User Workshop db/conf/zum/zum1991.html#BarrosH91