Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings / - Chandru, V.; Vinay, V. (Springer, 1996)