An Information Flow Analysis of B Specifications and Refinements