Elements of ML Pragramming - ULLMAN, Jeffrey D. (Prentice Hall, 1998)