41st Annual Symposium on Foundations of Computer Science : proceedings : 12-14 November, 2000, Redondo Beach, California / (IEEE Computer Society, 2000)