TY  - BOOK
AU  - Annual Symposium on Foundations of Computer Science, California; 1975| 16th
TI  - Foundations of computer science: proceedings ..: IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
U1  - 001.64 An89 
PY  - 1975///
CY  - New York
PB  - The Institute of Electrical and Electronics Engineers
KW  - Software Engineering
ER  -