FSTTCS 2006: Foundations of software technology and theoretical computer science 26th International Conference, Kolkata, India, December 13-15, 2006 ; proceedings (Springer, 2006)