Elementary Standard ML by Greg Michaelson, University College London Press, UK, 1995, ISBN 1-85728-398-8 PB, pp 306

[1]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[2]  Lawrence Charles Paulson,et al.  ML for the working programmer , 1991 .