Abstract Machine Notation

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.