The Definition of Standard ML - Milner, Robin (Massachusetts Institute of Technology, 1990)