Category theory and computer science - Pitt, David ((David H.)); Poigne, A.; Rydeheard, D. E. ((David E.)) (Springer-Verlag, 1987)