ML for the working programmer - Paulson, Lawrence C. (Cambridge Univ. Press, 1992)
Literaturverz. S. 407 - 409