<language> The abstract machine for bootstrapping ML/1.
[Mentioned in Machine Oriented Higher Level Languages, W. van der Poel, N-H 1974, p. 271].
(13 Mar 1995)