Andrew Martin Andrew Simpson Generalising the Z Schema Calculus: Database Schemas and Beyond. 28-37 2003 conf/apsec/2003 APSEC http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110028abs.htm db/conf/apsec/apsec2003.html#MartinS03