The Denition of Standard ML (1990)

by R Milner, M Tofte, R Harper