"An Equivalence Preserving First Order Unfold/fold Transformation System."

Taisuke Sato (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics