The design of SISYPHE: a system for doing symbolic and algebraic computations. - André Galligo; J. Grimm; Loic Pottier (DISCO, 1990)

The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. - C. Faure; André Galligo; J. Grimm; Loic Pottier (DISCO, 1992)