-D. Pitt/D.E. Rydeheard/P. Johnstone (Eds.): Category Theory and Computer Science, Springer-Verlag Proceedings 1995