Extended formal specifications of 3D Spatial Data Types