TY  - BOOK
TI  - Symposium on foundations of computer science, v.18
U1  - 621.38195 
PY  - 1977///
PB  - IEEE
ER  -