@Article{SCI:Pal2006a,
  author =    "R. Palmer and S. Barrus and Y. Yang and G.
              Gopalakrishnan and R.M. Kirby",
  title =     "Gauss: A Framework for Verifying Scientific
              Computing Software",
  journal =   "Electronic Notes on Theoretical Computer Science
              (ENTCS)",
  volume =    "144",
  number =    "3",
  pages =     "95--106",
  year =      "2006",
  month =     "February",
}