D. Sannella and A. Tarlecki. "Algebraic methods for specification and formal development of programs"

(1999) ACM Computing Surveys 31(3) 1999  

Languages mentioned EML {1985} ML Specification language