Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings - Nori, Kesav V.; Kumar, S. (Sanjeev) (Lecture notes in computer science, 1988)