R. K. Shyamasundar Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings FSTTCS Lecture Notes in Computer Science 761 Springer 1993 3-540-57529-4 db/conf/fsttcs/fsttcs93.html