The Definition of Standard ML. (1997)

by Robin Milner, Mads Tofte, Robert Harper, David MacQueen