Vogt’s theorem on categories of homotopy coherent diagrams (1986)

by J M Cordier, T Porter