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

by T Sato
Venue:Theoretical Computer Science