1. Quantales, observational logic and process semantics;Abramsky;Mathematical Structures in Computer Science,1993
2. The closure of a class of colimits;Albert;Journal of Pure and Applied Algebra,1988
3. Catégories avec multiplication;Bénabou;C R Academic Science of Paris,1963
4. Catégories relatives;Bénabou;C R Academic Science of Paris,1965
5. Introduction to bicategories;Bénabou;Lecture Notes in Mathematics,1967