“A tutorial on the universality and expressiveness of fold”
http://www.cs.nott.ac.uk/~gmh/fold.pdf
Chapter 4. Functional programming
The article [Hutton99] is an excellent and deep tutorial covering folds. It includes many examples of how to use simple, systematic calculation techniques to turn functions that use explicit recursion into folds.