TY  - BOOK
AU  - IEEE                                                        
TI  - Foundations of computer science: proceedings, 43rd annual symposium                                                     
CY  - Washington                                                  
ER  -