BOOK REVIEW: ML for the Working Programmer by Laurence C. Paulson: (Cambridge University Press, 429 pp., 1991)