A practical course in functional programming using ML - Bosworth, Richard (McGraw-Hill, 1995)