The definition of Standard ML (version 2 (1988)

by R Harper, R Milner, M Tofte