Arrows, structures and function the catalogical imperative - Michael A. Arbib, Ernest G. Manes (Academic Press)