Ramaswamy Ramanujam Sandeep Sen FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings 3821 2005 3-540-30495-9 FSTTCS Lecture Notes in Computer Science Springer db/conf/fsttcs/fsttcs2005.html