References
[MTHM97]
Robin Milner, Mads Tofte, Robert Harper, and David B. Macqueen.
The Definition of Standard ML (Revised)
. MIT Press, 1997.