Amtoft, T. Unfold/Fold Transformations Preserving Termination Properties. DPB 1992, 21.