Coherence for bicategories and indexed categories (1985)

by Saunders Mac Lane, Robert Paré
Venue:Journal of Pure and Applied Algebra