IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
18 to 20 December, 1995, Bangalore, India