David H. Pitt Samson Abramsky Axel Poigné David E. Rydeheard Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings CTCS Lecture Notes in Computer Science 240 Springer 1986 3-540-17162-2 db/conf/ctcs/ctcs1985.html