Vijay Chandru V. Vinay Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings FSTTCS Lecture Notes in Computer Science 1180 Springer 1996 3-540-62034-6 db/conf/fsttcs/fsttcs96.html