Functional programming: Application and implementation: Peter Henderson Prentice-Hall International, 1980, £13.95