@book{78422,
	author = {Jacky, Jonathan},
	title = {The way of Z : practical programming with formal methods},
	publisher = {Cambridge University Press},
	year = {1996},
	address = {Cambridge :},
	note = {Includes bibliographical references },
	url = {http://www.loc.gov/catdir/toc/cam022/96013537.html}
}