Kahrs, S. ; D. Sannella and A. Tarlecki. The semantics of Extended ML: a gentle introduction. Proc. Intl. Workshop on Semantics of Specification Languages, Utrecht. Springer Workshops in Computing (1993).

Languages mentioned

• EML {1985} ML Specification language