Milner et al. (1990)
Milner R., Tofte M. and Harper R. (1990)
The definition of Standard ML
MIT Press