FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings (Springer, 2005)