Kahrs, S. ; D. Sannella and A. Tarlecki. Interfaces and Extended ML.

[IDL 1994] (1994) SIGPLAN Notices 29(08) August 1994 ACM Workshop on Interface Definition Languages, Portland, Oregon.  

Languages mentioned EML {1985} ML Specification language