-Pitt et al.(Eds.): Category Theory and Computer Science, Proceedings 1989, Springer-Verlag 1989