12th Annual Symposium on Switching and Automata Theory (swat 1971)