A tutorial on the universality and expressiveness of fold (1999) · HackerTrans