EML

Extended ML. A language for formally specifying {SML}

programs.

["Formal Program Development in Extended ML for the Working

Programmer", D. Sannella, Proc 3rd BCS/FACS Workshop on

Refinement", Springer 1990].