Abstract Machine Notation (AMN) is a
computer programming language for specifying
abstract machines in the
B-Method[?], based on the
mathematical theory of
Generalised Substitutions[?].
This article is based on material from FOLDOC, used with permission. Update as needed.