Văn bản này: Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings / C.E. Veni Madhavan, ed.