Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings - Nori, Kesav V. (Lecture notes in computer science, 1986)