Ieee Symposium On Foundations Of Computer Science