@book{25650,
	author = { Ben Potter, Jane Sinclair & David Till -},
	title = {An Introduction To Formal Specification And Z},
	publisher = { Prentice Hall International (Uk) Ltd.},
	year = {©1991}
}