@proceedings{DBLP:conf/focs/FOCS7,
  title     = {7th Annual Symposium on Switching and Automata Theory, Berkeley,
               California, USA, October 23-25, 1966},
  booktitle = {SWAT (FOCS)},
  publisher = {IEEE Computer Society},
  year      = {1966},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}