ML for the Working Programmer, 2nd edition (1996)

by L C Paulson