Category theory and computer science Paris, France, September 3 - 6, 1991 ; proceedings (Springer, 1991)