@book{64250,
	author = {Lightfoot, David,},
	title = {Formal specification using Z /},
	publisher = {Palgrave Macmillan,},
	year = {2001},
	address = {Basingstoke :},
	edition = {2nd ed.},
	note = {Previous ed.: 1991}
}