1. and , Introduction to Commutative Algebra. Addison-Wesley 1969.
2. La théorie des énumérations. In: Actes du Congrès International des Mathématiciens 1970, Tome 1, Gauthier-Villars, Paris 1971, S. 223–227.
3. Die Frage der endlich vielen Schritte in der Theorie der Polynomideale
4. Propriétés récursives des structures énumérées. Thèse Université de Paris 1965.
5. CONSTRUCTIVE ALGEBRAS I