@book{10660,
	author = {PALNITKAR},
	title = {DESIGN VERIFICATION WITH E},
	publisher = {PEARSON},
	year = {2004}
}