"Formal relational database design: an exercise in extending the formal ..."

Nicolas Wu, Andrew C. Simpson (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics