Abstract Machine Notation (AMN) is a programming language for specifying abstract machines in the B-Method , based on the mathematical theory of Generalised Substitutions .

References