Taisuke Sato. Equivalence-Preserving First-Order Unfold/Fold Transformation Systems. Theoretical Computer Science, 105(1):57-84, 1992.
@article{Sato92:2, title = {Equivalence-Preserving First-Order Unfold/Fold Transformation Systems}, author = {Taisuke Sato}, year = {1992}, tags = {transformation system, higher-order transformations, transformation}, researchr = {https://researchr.org/publication/Sato92%3A2}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {105}, number = {1}, pages = {57-84}, }