Title: Annual Symposium on Foundations of Computer Science/Pbn 85Ch2224-4