@book{1976--focs
,title={{17th annual symposium on foundations of computer science}}
,booktitle={{17th annual symposium on foundations of computer science}}
,MR={56:1766}
,publisher={IEEE Computer Society}
,address={Long Beach, California}
,year={1976}
}