Bird, Richard

Pearls of functional algorithm design

Mathematics of program construction