Functional programming Application and implementation - Henderson, Peter (Prentice-Hall, 1980)