@book{7176,
	author = {Gehani,Narain and Andrew,},
	title = {Software Specification Techniques},
	year = {1986},
	address = {Addison Wesley}
}