Computational category theory. - Rydeheard, David E (Prentice hall, 1988)