@book{1977--focs
,title={{18th annual symposium on foundations of computer science}}
,booktitle={{18th annual symposium on foundations of computer science}}
,MR={57:18173}
,publisher={IEEE Computer Society}
,address={Long Beach, California}
,year={1977}
}