A system for rigorous or formal development of software using the notion of {ABstract Machine}s to specify and design software systems. The B-Method is supported By the B-Toolkit. ABstract Machines are specified using the ABstract Machine Notation (AMN) which is in turn Based on the mathematical theory of Generalised SuBstitutions. (1995-03-13)