Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991 /
Fourman, M. P.
Cambridge : Cambridge University Press,
1992.