Specification and verification of spatial data types with B-Toolkit | Publicación