@book{93230,
	author = {Tennent, R.D.},
	title = {Specifying software},
	publisher = {Cambridge university press},
	year = {2002},
	address = {New York}
}