Robin Milner, Robert Harper, David MacQueen, Mads Tofte (1997). The Definition of Standard ML. The MIT Press eBooks. https://doi.org/10.7551/mitpress/2319.001.0001