T. Amtoft, “Unfold/fold Transformations Preserving Termination Properties”, DPB, vol. 21, no. 410, Aug. 1992.