Functional Programming : application and implementation - Henderson, P. (Prentice-Hall International, 1980)