Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19 - 21, 1989 ; proceedings - Veni Madhavan, C. E. (Hrsg.); FST and TCS (9 : 1989 : Bangalore) (Lecture notes in computer science, 1989)