Eva Dyllong, Cornelius Grimm: Verified Adaptive Octree Representations of Constructive Solid Geometry Objects. SimVis 2007: 223-236