<language> (AMN) A language for specifying Abstract Machines in the B-Method, based on the mathematical theory of Generalised Substitutions.
(13 Mar 1995)