Author: Conference on Foundations of Software Technology and Theoretical Computer Science (20th 2000 New Delhi, India)