The Visualization ToolKit (VTK) is an open source, freely available software system for 3D computer graphics, image processing, and visualization used by thousands of researchers and developers around the world.
S. Bursuc, H. Comon-Lundh, and S. Delaune. Rewriting, Computation and Proof, volume 4600 of Lecture Notes in Computer Science, page 196-212. Springer, (2007)