Pitt, D.H. Poigne, A Rydeheard, D.E.
Category theory and computer science - Berlin Springer-Verlag - Lecture notes in computer science ; 00283 .
681 LNCS
Category theory and computer science - Berlin Springer-Verlag - Lecture notes in computer science ; 00283 .
681 LNCS