Homotopy Coherent Category Theory (1996)

by Jean-marc Cordier, Timothy Porter, Wales U. K