Generalizing the Schema Calculus: Database Schemas and Beyond - Martin, A; Simpson, A (IEEE, 2003)