FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings - Sarukkai, Sundar; Sen, Sandeep (Springer Berlin Heidelberg, 2005)