TY  - BOOK
AU  - IEEE
TI  - ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE,21ST,1981
SN  - NCST
U1  - 236 
PY  - 1981///
CY  - NEW YORK
PB  - IEEE
ER  -