S. Blazy and P. Facon, Formal specification and prototyping of a program specializer, TAPSOFT Conference Proceedings, pp.666-680, 1995.
DOI : 10.1007/3-540-59293-8_227
URL : https://hal.archives-ouvertes.fr/inria-00165933

S. Blazy and P. Facon, Application of formal methods to the development of a software maintenance tool, Proceedings 12th IEEE International Conference Automated Software Engineering, pp.162-171, 1997.
DOI : 10.1109/ASE.1997.632836
URL : https://hal.archives-ouvertes.fr/inria-00078882

A. Frazer, Reverse engineering-hype, hope or here? In Software Reuse and Reverse Engineering in Practice, P.A, pp.209-243, 1992.

K. Gallagher and J. R. Lyle, Using program slicing in software maintenance, IEEE Transactions on Software Engineering, vol.17, issue.8, pp.751-761, 1991.
DOI : 10.1109/32.83912

G. Kahn, Natural semantics, STACS Proceedings, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953