L. C. Paulson

• ML for the Working Programmer, 2nd Edition