"On the Algebraic Specification of Databases."

Walter Dosch, Gianfranco Mascari, Martin Wirsing (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics