Sannella, D. and A. Tarlecki. Extended ML: past, present and future. Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen, 1990. Springer LNCS 534, 297-322 (1991).

Languages mentioned

• EML {1985} ML Specification language