1. The Science of Programming;Gries,1981
2. The generation of inverse functions in Refal;Romanenko,1988
3. Program inversion: more than fun!;Chen;Sci. Comput. Program.,1990
4. Inversion and metacomputation;Romanenko,1991
5. Transformational approach to inverse computation in term rewriting;Nishida,2004