Elementary standard ML - Michaelson, Greg. (Springer, 1995)