## Theory and applications of inverting functions as folds.

S-C. Mu and R. S. Bird, Theory and applications of inverting functions as folds. In *Science of Computer Programming Vol. 51 Special Issue for Mathematics of Program Construction 2002*, pp. 87-116, 2003.

[PDF][GZipped Postscript]