@book{51171,
	author = {WOODCOCK JIM},
	title = {USING Z SPECIFICATION REFINEMENT AND PROOF ( A CO},
	publisher = {PHI},
	year = {2008},
	address = {CANADA},
	edition = {1}
}