Title: Annual Symposium on Foundations of Computer Science (Pub Order No Ch2085-9)