Category theory and computer science : Paris, France, September 3-6, 1991, proceedings / - Pitt, David (Springer-Verlag,, 1991)