@InProceedings{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",
  booktitle = "IEEE Transactions on Visualization and Computer
              Graphics, Proceedings of the 2009 IEEE
              Visualization Conference",
  pages =     "(accepted)",
  year =      "2009",
  month =     "Sept/Oct",
}