@article{Etiene:2009:VVF,
	author={T. Etiene and C. Scheidegger and L. Nonato and M. Kirby and C. Silva},
	journal={IEEE Transactions on Visualization and Computer Graphics},
	number=6,
	pages={1227--1234},
	title={Verifiable Visualization for Isosurface Extraction},
	volume=15,
	year=2009,
}