25th annual symposium of foundations of computer science : Formerly called the annual symposium on switching and automata theory : October 24-26, 1984 / Sponsored by the IEEE computer society's technical committee on mathematical foundations of computing |