Supplementing the understanding of Z: a formal approach to database design
A. C. Simpson and A. P. Martin
Book Title
Proceedings of the BCS Teaching Formal Methods workshop
Publisher
BCS
Year
2003
A. C. Simpson and A. P. Martin