FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings (Springer, 2000)