@book{1979--focs
,title={{20th annual symposium on foundations of computer science}}
,booktitle={{20th annual symposium on foundations of computer science}}
,MR={82a:68004}
,publisher={IEEE Computer Society}
,address={New York}
,year={1979}
}