-D. H. Pitt/A. Poigne/D. E. Rydeheard (Eds.): Category Theory and Computer Science, Proceedings 1987, Springer-Verlag 1987