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)