A tutorial on the universality and expressiveness of fold (1999) [pdf]
cs.nott.ac.uk