ML for the Working Programmer (1991)

by L C Paulson