Extended ML - Don Sannella, Edinburgh. Algebraic specification meets
functional programming. "Program Specification and Development in Standard
ML", D. Sannella et al, 12th POPL, ACM 1985.
Comments, Experience, Additions
Next Language: Extended Pascal