Text this: ML for the working programmer / Lawrence C. Paulson.