extended ML. A language for formally specifying ef="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].