Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. - Marc Bergman; Pierre Deransart (CAAP, 1981)

Algebraic Specifications: Constructive Methodology in Logic Programming. - Marc Bergman (EUROCAM, 1982)

Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation. - Jacques Calmet; Marc Bergman (AAECC, 1984)

En hommage à Alain. - Marc Bergman (Rev. Ouverte Intell. Artif., 2024)