Equivalence-preserving first-order unfold/fold transformation systems (1992)

by T Sato
Venue:Theor. Comput. Sci