@book{simon08value, author = {A. Simon}, title = {Value-{R}ange {A}nalysis of {C} {P}rograms}, month = {August}, year = 2008, publisher = {Springer}, doi = {10.1007/978-1-84800-017-9}, }