@book{25800,
	author = { Andrew Harry},
	title = {Formal Methods Fact File: Vdm And Z},
	publisher = { John Wiley & Sons},
	year = {©1996}
}