@book{104450,
	author = {WOODCOCK AND DAVIES},
	title = {USING Z SPECIFICATION REFINEMENT AND PROOF},
	publisher = {PHI},
	year = {1996},
	edition = {1}
}