GERMINAL: Towards a general and integrated system for computer aided design. - René Jacquart; Philippe Régnier; François-Régis Valette (DAC, 1974)

Current trends in the development of integrated general purpose CAD systems. - René Jacquart; Philippe Régnier; François-Régis Valette; Jack Foisseau (DAC, 1975)

Means and Levels of Knowledge Representation in the CAD System Germinal. - Jack Foisseau; René Jacquart; François-Régis Valette (IFIP Congress, 1977)

Programming Development with or without Coding. - Jack Foisseau; René Jacquart; Michel Lemaître; Michel Lemoine; J. C. Vignat; Guy Zanon (IFIP Congress, 1980)

LF: langage de spécification de fonctions et de types de données en logique. - René Jacquart; Michel Lemaître; Guy Zanon (SPLT, 1982)

The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. - Jacques Cazin; René Jacquart; P. Michel (ER, 1985)

Software Engineering and Knowledge Engineering: Which Needs the Other More? (Panel). - René Jacquart (IFIP Congress, 1986)

SPRAC: A Software Engineering Environment. - Michel Lemoine; René Jacquart; Guy Zanon (STACS, 1987)

Method Driven Programming. - Jacques Cazin; René Jacquart; Michel Lemoine; P. Michel; P. Maurice (IFIP Congress, 1989)

Construction and Reuse of Formal Program Developments. - Jacques Cazin; Patrice Cros; René Jacquart; Michel Lemoine; P. Michel (TAPSOFT, Vol.2, 1991)