@book{8968,
	author = {Norcliffe, Allan and Slater, Gil},
	title = {Mathematics of software construction /},
	publisher = {Ellis Horwood ,},
	year = {c1991.},
	address = {New York ;},
	note = {Includes index}
}