Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings / - Pitt, David (Springer-Verlag,, 1989)