1. On the van Kampen theorem;Artin;Topology,1966
2. Coherent categories with respect to monads and coherent prohomotopy theory;Batanin;Différentielle Catégoriques,1993
3. M.A. Batanin, Categorical strong shape theory, Cahiers Topologie Géom. Différentielle Catégoriques, to appear.
4. Les distributeurs;Benabou,1973
5. Homotopy Invariant Algebraic Structures on Topological Spaces;Boardman,1973