(AMN) A language for specifying abstract machinesin the B-Method, based on the mathematical theory ofGeneralised Substitutions.