"Formal Program Development in Extended ML for the Working Programmer", D. Sannella, Proc 3rd BCS/FACS Workshop on Refinement", Springer 1990.
(1990)
Languages mentioned
EML
{1985} ML Specification language