23rd annual Symposium on Foundations of Computer Science Chicago, Illinois, November 3-5, 1982 / (Institute of Electrical and Electronics Engineers,)