@book{51309,
	author = {Simon, Axel},
	title = {Value-range analysis of C programs :},
	publisher = {Springer,},
	year = {c2008},
	address = {London :},
	url = {http://www.loc.gov/catdir/toc/fy1001/2008930099.html}
}