@Article{DLM09,
      Author = "M. Daumas and D. Lester and C. Mu{\~{n}}oz",
      Title  = "Verified Real Number Calculations: A Library for Interval 
                Arithmetic",
      Journal = "IEEE Transactions on Computers",
      Volume = "58",
      Number= "2",
      Pages= "226--237",
      Month="February",
      year = {2009}}