The Definition of Standard ML: Version 3 (1989)

by R Harper, R Milner, M Tofte