language (AMN) A language for specifying abstract machines

in the B-Method, based on the mathematical theory of

Generalised Substitutions.