FST TCS 2000: Foundations of Software Technology and Theoretical Science : 20th Conference, New Delhi, India, December13-15, 2000 Proceedings - Sanjiv Kapoor, Sanjiva Prasad ((Lecture Notes in Computer Science))