http://www.cs.cornell.edu/riccardo/smlnj.html http://www.smlnj.org/doc/literature.html#tutorials