Computer algebra on MIMD machine. - Jean-Louis Roch; Pascale Sénéchaud; Françoise Siebert-Roch; Gilles Villard (SIGSAM Bull., 1989)

Boolean Gröbner Bases and Their MIMD Implementation. - Pascale Sénéchaud (CAP, 1990)

Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul. Aapplications, parallélisation. (Boolean grobner bases. Computation. Applications. Parallelization). - Pascale Sénéchaud (1990)

A MIMD Implementation of the Buchberger Algorithm for Boolean Polynomials. - Pascale Sénéchaud (Parallel Comput., 1991)

Sketches and Parametrization. - Dominique Duval; Pascale Sénéchaud (Theor. Comput. Sci., 1994)