Category Theory and Computer Science Edinburgh, UK, September 7-9, 1987: Proceedings - Pitt, David H. (Lecture Notes in Computer Science Ser.)