Category theory and computer science Manchester, UK, September 5 - 8, 1989 ; proceedings (Springer, 1989)