1. Standard ML.2. Small Machine Language. Barnes, ICI 1969. Real-timelanguage, an ALGOL variant, and the predecessor of RTL. "SMLUser's Guide", J.G.P. Barnes, ICI, TR JGPB/69/35 (1969).