@book{50912,
	author = {Spivey, J. M.},
	title = {Understanding Z :},
	publisher = {Cambridge University Press,},
	year = {2008},
	series = {Cambridge tracts in theoretical computer science ;},
	address = {Cambridge [Cambridgeshire] ;},
	url = {http://www.loc.gov/catdir/toc/cam029/87033841.html}
}