@book{hansen2003,
  title = {Global Optimization Using Interval Analysis},
  editor = {Hansen, Eldon and Walster, G. William},
  year = {2003},
  month = dec,
  edition = {2nd, Revised and Expanded},
  publisher = {CRC Press},
  address = {Boca Raton},
  doi = {10.1201/9780203026922},
  isbn = {978-1-135-52068-7},
  langid = {english}
}

@book{jaulin2001,
  title = {Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics},
  shorttitle = {Applied Interval Analysis},
  author = {Jaulin, Luc and Kieffer, Michel and Didrit, Olivier and Walter, {\'E}ric},
  year = {2001},
  edition = {1},
  publisher = {Springer London},
  address = {London},
  doi = {10.1007/978-1-4471-0249-6},
  copyright = {http://www.springer.com/tdm},
  isbn = {978-1-4471-1067-5 978-1-4471-0249-6},
  langid = {english}
}

@book{moore2009,
  title = {Introduction to Interval Analysis},
  author = {Moore, Ramon E. and Baker Kearfott, R. and Cloud, Michael J.},
  year = {2009},
  series = {Other Titles in Applied Mathematics},
  number = {110},
  publisher = {Society for Industrial and Applied Mathematics},
  address = {Philadelphia},
  doi = {10.1137/1.9780898717716},
  isbn = {978-0-89871-771-6 978-0-89871-669-6},
  langid = {english}
}

@book{tucker2011,
  title = {Validated Numerics: A Short Introduction to Rigorous Computations},
  shorttitle = {Validated Numerics},
  author = {Tucker, Warwick},
  year = {2011},
  publisher = {Princeton University Press},
  address = {Princeton},
  isbn = {978-0-691-14781-9},
  langid = {english}
}
