SISP/1: An Interactive System Able to Synthesize Functions from Examples. - Jean-Pierre Jouannaud; Gérard D. Guiho; Jean-Pierre Treuil (IJCAI, 1977)

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)

Multi-Operator Algebras. - Gérard D. Guiho (ADT, 1983)

Automatic Programming Using Abstract Data Types. - Gérard D. Guiho (IJCAI, 1983)

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)

Objectoriented Something (OOX), a General Paradigm (Abstract). - Gérard D. Guiho (Wissensbasierte Systeme, 1987)

SACEM Software Validation (Experience Report). - Gérard D. Guiho; Claude Hennebert (ICSE, 1990)

SACEM: A Fault Tolerant System for Train Speed Control. - Claude Hennebert; Gérard D. Guiho (FTCS, 1993)