Richard Blute, Peter Selinger: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002. Electronic Notes in Theoretical Computer Science 69, Elsevier 2002