Amtoft, Torben. “Unfold/Fold/Transformations/Preserving/Termination/Properties”. DAIMI Report Series, vol. 21, no. 410, Aug. 1992, doi:10.7146/dpb.v21i410.6723.