Category Theory and Computer Science, D. H. Pitt, P.-L. Curien, S. Abramsky, A. M. Pitts, A. Poigne, and D. E. Rydeheard (Eds.), LNCS530, 1991 (informationswissenschaftl. Veröffentlichungen).