1. Structures algébriques dans les catégories;Benabou;Thése,1966
2. Calculs de parenthèses n-aires;Bonnin;Applications à la syntaxe transformationnelle abstraite,1976
3. The Art of Computer Programming;Knuth,1969
4. The Art of Computer Programming;Knuth,1973
5. Preface of “Coherence in Categories”;MacLane,1972