BibTeX
@BOOK{
         Tucker2011VNA,
       title = "Validated Numerics: A Short Introduction to Rigorous Computations",
       author = "Tucker, W.",
       isbn = "9781400838974",
       url = "http://press.princeton.edu/titles/9488.html",
       year = "2011",
       publisher = "Princeton University Press",
       ad_theotech = "General"
}