Functional programming : application and implementation - Henderson, Peter (Prentice-Hall international series in computer science, 1980)