The Definition of Standard ML (1997)

by Robin Milner, Mads Tofte, Robert Harper, David MacQueen
Venue:ISBN 0-26263181-4