1. Bénabou, J.: Structures algébriques dans les catégories. Thèse, Paris 1966
2. Bénabou, J.: Catégories et logiques faibles. Tagungsbericht 30, Oberwolfach, 7–8 (1973)
3. Bénabou, J.: Lectures on fibered categories. Montréal, 1974
4. Bénabou, J.: Théories relatives à un corpus. C.R. Acad. Sci. Paris, Série A, 281, 831–834 (1975)
5. Daigneault, A.: Lawvere's elementary theories and polyadic and cylindric algebras. Fund. Math. 66, 307–328 (1970)