Pātuhitia tēnei: ML for the working programmer / Lawrence C. Paulson.