Projective and Hilbert modules over group algebras, and finitely dominated spaces. Beno Eckmann (1996) Commentarii mathematici Helvetici
Pullback and pushout squares in a special double category with connection C. B. Spencer, Y. L. Wong (1983) Cahiers de Topologie et Géométrie Différentielle Catégoriques