David H. Pitt David E. Rydeheard Peter Johnstone Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings CTCS Lecture Notes in Computer Science 953 Springer 1995 3-540-60164-3 db/conf/ctcs/ctcs1995.html