M Tofte [1990], The definition of Standard ML (1990)

by R Milner