@book{5900,
	author = {Bradley, Aaron R. and Manna, Zohar.},
	title = {The Calculus Of Computation: decision procedures with applications to verification},
	publisher = {Springer,},
	year = {2010.},
	address = {india},
	url = {http://10.10.170.122:8080/browse/book/26622}
}