(EN) The Definition of Standard ML, di Robin Milner, Mads Tofte e Robert Harper. 1990, The MIT Press, Cambridge, Massachusetts - London, England.
(EN) The Definition of Standard ML, Revised, di Robin Milner, Mads Tofte, Robert Harper e David MacQueen. 1997, The MIT Press, Cambridge, Massachusetts - London, England.