Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings - Nori, Kesav V. (Lecture notes in computer science, 1987)