You are about to access our book library "Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389) full version" .