Sannella. D. "Formal specification of ML programs" Report ECS-LFCS-86-15, Laboratory for Foundations of Computer Science, University of Edinburgh (1986).

Languages mentioned

• EML {1985} ML Specification language