Foundations of software technology and theoretical computer science ninth conference, Bangalore, India, December 19 - 21, 1989 ; proceedings - Madhavan, C. E. Veni (Springer, 1989)