Specification and Verification of Spatial Data Types with B-Toolkit. - Kim Yong Chun; Dang Van Hung (COMPSAC, 2002)