Introduction Functional Programming
Autor
Richard Bird
Updated and revised, the book clearly expounds the construction of functional programs as a process of mathematical calculation, but the mathematics is restricted to that relevant to the actual construction of programs.