23rd Annual Symposium on Foundations of Computer Science, Chicago, Illinois, USA, 3-5 November 1982