Foundations of computer science 25th Annual Symposium October 24-26, 1984 Formerly called the Annual Symposium on Switchine and Automata Theory (IEEE Computer Society Press, 1984)