Generalising the Z Schema Calculus: Database Schemas and Beyond.

Andrew P. Martin, Andrew Simpson

Browse the full APSEC paper archive.