ML for the Working Programmer, 2nd Edition