ML for the working programmer /
Paulson, Laurence C.
Cambridge : Cambridge University Press,
1991.