"Towards Formally Templated Relational Database Representations in Z."

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