Originally published: Prentice-Hall International Series in Computer Science, 1995
Republished 2012-09-19 in: Reprints in Theory and Applications of Categories, No. 22 (2012) pp. 1-538
http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf
TAC Reprints Home