Walter Dosch, Gianfranco Mascari, Martin Wirsing. On the Algebraic Specification of Databases. In Eigth International Conference on Very Large Data Bases, September 8-10, 1982, Mexico City, Mexico, Proceedings. pages 370-385, Morgan Kaufmann, 1982. [doi]
Abstract is missing.