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

(untitled) - Simpson, A; Martin, A