T. Amtoft, “Unfold/fold Transformations Preserving Termination Properties”, DPB, bd. 21, nr. 410, aug. 1992.