Paper : Mapping Object Diagrams into B Specifications