@book{1982--focs ,title={{23rd annual symposium on foundations of computer science}} ,booktitle={{23rd annual symposium on foundations of computer science}} ,MR={85k:68007} ,publisher={IEEE Computer Society} ,address={New York} ,year={1982} }