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