@book{25684,
	author = { Ben Potter, Jane Sinclair & David Till -},
	title = {An Introduction To Formal Specification And Z},
	publisher = { Prentice Hall Europe},
	year = {©1996},
	edition = {2nd }
}