Text this: Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model