ML for the working programmer - Pauson, Lawrecee C (Cambridge University Press, New York, 1991)