FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - Ramesh Hariharan, V. Vinay, Madhavan Mukund ((Lecture Notes in Computer Science))