The Definition of Standard ML – Revised. (1997)

by R Milner, M Tofte, R Harper, D MacQueen