Source : Free On-Line Dictionary of Computing

Abstract Machine Notation
     
         (AMN) A language for specifying {abstract machines}
        in the {B-Method}, based on the mathematical theory of
        {Generalised Substitutions}.
     
        (1995-03-13)