Milner et al. (1990)

Milner R., Tofte M. and Harper R. (1990)

The definition of Standard ML

MIT Press