@book{25680,
	author = { Jim Woodcock & Jim Davies -},
	title = {Using Z: Specification, Refinement, And Proof},
	publisher = { Prentice Hall Europe},
	year = {©1996}
}