Foundations of software technology and theoretical computer science fifth conference, New Delhi, India, December 16 - 18, 1985 ; proceedings (Springer, 1985)