Foundations Of computer science Proceedings - Annual symposium on foundations of computer science(40 New York 1999) (New York IEEE Computer Society, 1999)