Kesav V. Nori C. E. Veni Madhavan Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings FSTTCS Lecture Notes in Computer Science 472 Springer 1990 3-540-53487-3 db/conf/fsttcs/fsttcs90.html