Functional programming using standard ML - Wikstrom, Ake (Prentice Hall, 1987)