The Definition of Standard ML (1990)

by R Harper, R Milner, M Tofte