Program Specialization via Algorithmic Unfold/Fold Transformations

this paper we will essentially refer to these techniques as they have been developed in the fields of functional and logic programming