P. S. Thiagarajan Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings FSTTCS Lecture Notes in Computer Science 1026 Springer 1995 3-540-60692-0 db/conf/fsttcs/fsttcs95.html