Elements of ML programming - Ullman, Jeffrey D., 1942- (Prentice Hall, 1998)
"An Alan R. Apt book."