Pearls of Functional Algorithm Design : Cambridge University Press : 9780521513388 : 0521513383 : 16 Sep 2010 : "The novel aspect of the book is that each solution is calculated from the problem statement by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"--