Computer algebra - systems and algorithms for algebraic computation (2. ed.).
Academic Press, ISBN: 978-0-12-204232-4, 1993
A conversational system for engineering assistance: Aladin.
Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, 1971
Contribution au calcul formel sur ordinateur. (Contribution to formal calculation on computer).
PhD thesis, 1970
Principe des méthodes de Runge et Kutta à pas liés. (Principle of the methods of Runge and Kutta with multisteps).
PhD thesis, 1962