Sannella, D. Formal program development in Extended ML for the working programmer. Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park, 1990.

Languages mentioned

• EML {1985} ML Specification language