ML for the working programmer (2nd ed (1996)

by L C Paulson