Development of a Programming Environment for Setl. - Véronique Donzeau-Gouge; Catherine Dubois; Philippe Facon; F. Jean (ESEC, 1987)

Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs - Sandrine Blazy; Philippe Facon (CAiSE, 1993)

Partial evaluation as an aid to the comprehension of Fortran programs. - Sandrine Blazy; Philippe Facon (WPC, 1993)

Modeling Semantic Data Concepts with VDM. - Regine Laleau; Philippe Facon (SEKE, 1993)

SFAC, a tool for program comprehension by specialization. - Sandrine Blazy; Philippe Facon (WPC, 1994)

Partial Evaluation for the Understanding of Fortran Programs. - Sandrine Blazy; Philippe Facon (Int. J. Softw. Eng. Knowl. Eng., 1994)

Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?. - Philippe Facon; Regine Laleau (INFORSID, 1995)

Formal Specification and Prototyping of a Program Specializer. - Sandrine Blazy; Philippe Facon (TAPSOFT, 1995)

An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. - Sandrine Blazy; Philippe Facon (Dagstuhl Seminar on Partial Evaluation, 1996)

Interprocedural analysis for program comprehension by specialization. - Sandrine Blazy; Philippe Facon (WPC, 1996)

Application of Formal Methods to the Development of a Software Maintenance Tool. - Sandrine Blazy; Philippe Facon (ASE, 1997)

Partial Evaluation for Program Comprehension. - Sandrine Blazy; Philippe Facon (ACM Comput. Surv., 1998)