@techreport{BM06NIA,
  author =       "S. Boldo and C. Mu{\~{n}}oz",
  title =        "A Formalization of Floating-Point Numbers in {PVS}",
  institution =  "NIA-NASA Langley",
  year =         "2006",
  type =         "Report",
  number =       "NIA Report No. 2006-01, NASA/CR-2006-214298",
  address =      "National Institute of Aerospace, Hampton, VA",
}