TY  - BOOK
AU  - Annual Symposium on Foundations of Computer Science, Houston, Texas; 1976| 17th
AU  - IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing  
TI  - Foundations of computer science: proceedings ..: sponsored by The IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing
U1  - 001.64 An89 
PY  - 1976///
CY  - California
PB  - IEEE Computer Society
KW  - Computer science
KW  - Computer engineering
ER  -