Elements of ML programming - Ullman, Jeffrey D. 1942- (Prentice Hall PTR, 1998)