22nd Annual Symposium on Foundations of Computer Science (sfcs 1981) | About Journal | IEEE Xplore