Pitt, D., Rydeheard, D. E., & Poigné, A. (1987). Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Springer-Verlag.

Pitt, David, D. E. Rydeheard, and A. Poigné. Category Theory and Computer Science: Edinburgh, U.K., September 7-9, 1987 : Proceedings. Berlin ; New York: Springer-Verlag, 1987.

Pitt, David, et al. Category Theory and Computer Science: Edinburgh, U.K., September 7-9, 1987 : Proceedings. Springer-Verlag, 1987.