Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings (Springer, 1995)