The Definition of Standard ML, Revised edition (1997)

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