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