Arrows,structures and functors The categorical imperative - Arbib Michael A; Manes Ernest G (New York Academic, 1975)