TY  - BOOK
AU  - IEEE Intl Symp on Foundation of computer science (29
TI  - Foundations of computer science. Proceedings
U1  - 621.319206 
PY  - 1988///
PB  - IEEE
ER  -