C. E. Veni Madhavan Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings FSTTCS Lecture Notes in Computer Science 405 Springer 1989 3-540-52048-1 db/conf/fsttcs/fsttcs89.html