[Hutton99] Graham Hutton. “A tutorial on the universality and expressiveness of fold”. Journal of Functional Programming. 9. 4. July 1999. 355-372. Cambridge University Press. 0956-7968.