Hong Zhu How Powerful are Folding/Unfolding Transformations? 89-112 1994 4 J. Funct. Program. 1 db/journals/jfp/jfp4.html#Zhu94