Chain homotopy pullbacks and pushouts Y. L. Wong — 1982 Cahiers de Topologie et Géométrie Différentielle Catégoriques
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