Extended ML. A language for formally specifying ref="module.php?name=Lexikon&file=search&eid=1&query=SML">SML programs. ["Formal Program Development in Extended ML for the Working Programmer", D. Sannella, Proc 3rd BCS/FACS Workshop on refinement", Springer 1990].