General associativity and general composition for double categories, Cahiers de Topologie et Géométrie Différentielle Catégoriques 34 (1993)

by R Dawson, R Paré