Extended ML. A language for formally specifying SMLprograms.["Formal Program Development in Extended ML for the WorkingProgrammer", D. Sannella, Proc 3rd BCS/FACS Workshop onRefinement", Springer 1990].