The Definition of Standard ML (0)

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