1. Arrows, Structures and Functors — The Categorical Imperative;Arbib,1975
2. Heterogeneous Algebras;Birkhoff;Journal of Combinatorial Theory,1970
3. Data Flow Supercomputers;Dennis;Computer,1980
4. The Universal Imaging Algebra;Giardina;Pattern Recognition Letters,1984
5. A Junction Between Computer Science and Category Theory: I, Basic Definitions and Examples;Goguen;IBM Research Report RC 5908,1976