Somenath Biswas Kesav V. Nori Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings FSTTCS Lecture Notes in Computer Science 560 Springer 1991 3-540-54967-6 db/conf/fsttcs/fsttcs91.html