TY  - BOOK
AU  - Manes, E. G.
ED  - American Association for Advancement of Science 
ED  - First International Symposium on Category Theory Applied to Computation and Control
TI  - Category theory applied to computation and control: proceedings 
SN  - 3540071423
U1  - 629.89 
PY  - 1975///
CY  - Berlin
PB  - Springer-Verlag
KW  - Machine theory - Congresses
KW  - Automation - Congresses
KW  - Contract theory - Congresses
KW  - Categories (Mathematics) - Congresses
N1  - An AMS Symposium within the annual meeting of the American Association for the Advancement of Science
ER  -