@book{126489,
	author = {Dershowitz, Nachum,},
	title = {Verification :},
	publisher = {Springer-Verlag,},
	year = {2004},
	address = {Berlin :}
}