Abstract:In this paper, a series of work and results of us in the field of equivalent transformations of recursive programs are sorted and summaried. Some new equivalent transformations and techniques presented in our paper expand the knowledge on Program Transformation on the same level.