@Article{SCI:Eti2009a,
  author =    "T. Etiene and C.E. Scheidegger and L.G. Nonato and
              R. Kirby and C.T. Silva",
  title =     "Verifiable Visualization for Isosurface
              Extraction",
  journal =   "{IEEE} Transactions on Visualization and Computer
              Graphics, Proceedings of the 2009 {IEEE}
              Visualization Conference",
  volume =    "15",
  number =    "6",
  pages =     "1227--1234",
  year =      "2009",
  month =     "Sept/Oct",
  url =       "http://www.sci.utah.edu/publications/etiene2009/verifiable-vis.pdf",
}