Pearls of Functional Algorithm Design - Richard Bird (Cambridge University Press, 2013)