Author: Foundations of Software Technology and Theoretical Computer Science (Conference) (15th 1995 Bangalore, India)