Supplementing the understanding of Z: a formal approach to database design

Simpson, A. C. and Martin, A. P.

book title	Proceedings of the BCS Teaching Formal Methods workshop
publisher	BCS
year	2003

people

Andrew Martin