Coherent prohomotopical algebra Timothy Porter (1977) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Coherent prohomotopy theory Timothy Porter (1978) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Crossed modules in C a t and a Brown-Spencer theorem for 2 -categories Timothy Porter (1985) Cahiers de Topologie et Géométrie Différentielle Catégoriques