The definition of Standard ML (MIT Press, 1997)