The Definition of Standard ML - Milner (IEEE, 2003)