B is a generic term given to a method of software development, the B-Method,
its process and notation and and its supporting toolset, the B-Toolkit.

• An overview of B
  

• A description of the B-Method
  

• An explanation of the B Software Process