Functional programming using standard ML - Wikström, Åke (Prentice-Hall International Series in Computer Science, 1987)