The main components of B-method First-order logic (similar to Z); Set theory (similar to Z); Integer arithmetics (similar to Z); Generalized substitutions (specific of B). from Tutorial: Software Engineering with the B-Method http://www.co…