Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Ramesh, S.; Ramesh, S.; Sivakumar, G.; Sivakumar, G. (Springer Berlin Heidelberg : Imprint: Springer, 1997)