@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},
}