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