FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings - V. Arvind, Sanjiva Prasad ((Lecture Notes in Computer Science))