The Definition of Standard ML (1990)

by R Miller, M Tofte, R Harper