Title: ML for the Working Programmer / Edition 2, Author: Larry C. Paulson
Title: The Standard ML Basis Library, Author: Emden R. Gansner