TY  - GEN
AU  - 
TI  - Proceedings
PY  - 1971///
CY  - New York
PB  - Academic Press
KW  - Theory of Machines
KW  - Computation
ER  -