@book{9125,
	author = {Jha, N.K. },
	title = {Testing of digital systems /},
	publisher = {Cambridge University press,},
	year = {c 2003.},
	address = {Cambridge :}
}