Sannella D. and A. Tarlecki. Toward formal development of ML programs: foundations and methodology. Report ECS-LFCS-89-71, Laboratory for Foundations of Computer Science, University of Edinburgh (1989).

Languages mentioned

• EML {1985} ML Specification language