Supplementing the understanding of Z: a formal approach to database design - Simpson, A; Martin, A (Proceedings of the BCS Teaching Formal Methods workshop, 2003)