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, und S. Delaune. Rewriting, Computation and Proof, Volume 4600 von Lecture Notes in Computer Science, Seite 196-212. Springer, (2007)