@book{14714,
	author = {Harry, Andrew},
	title = {Formal methods fact file : VDM and Z},
	year = {1996}
}