Kahrs, S. and Sannella, D. "Reflections on the design of a specification language" pp154-170

Proc. (1998) Proc. Intl. Colloq. on Fundamental Approaches to Software Engineering, ETAPS'98, Lisbon. Springer LNCS 1382, 1998  

Languages mentioned EML {1985} ML Specification language