A System which Synthesizes Array-Manipulating Programs from Specifications. - Michel Bidoit; Christian Gresse; Gérard D. Guiho (IJCAI, 1979)

Program Synthesis from Incomplete Specifiactions. - Gérard D. Guiho; Christian Gresse (CADE, 1980)

Automatic Programming From Data Types Decomposition Patterns. - Christian Gresse (IJCAI, 1983)

Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. - Ramon Brena; Ricardo Caferra; Bertram Fronhöfer; Christian Gresse; Philippe Jacquet; Marie-Laure Potet (AIMSA, 1984)

Exception Handling: Formal Specification and Systematic Program Construction. - Michel Bidoit; Brigitte Biebow; Marie-Claude Gaudel; Christian Gresse; Gérard D. Guiho (IEEE Trans. Software Eng., 1985)

Generic Extensions of a Prolog Browser. - Jacques Bellone; AbdelAli Ed-Dbali; Christian Gresse (SPLT, 1989)