David H. Pitt Axel Poigné David E. Rydeheard Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings CTCS Lecture Notes in Computer Science 283 Springer 1987 3-540-18508-9 db/conf/ctcs/ctcs1987.html