Pearls of functional algorithm design. - Bird, Richard (Cambridge University Press, 2010)