When is a Function a Fold or an Unfold? - Gibbons, J; Hutton, G; Altenkirch, T (Electronic Notes in Theoretical Computer Science, 2001)