Sannella, D. et al "Program Specification and Development in Standard ML"

[POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)  

Languages mentioned EML {1985} ML Specification language