Author: Conference on Foundations of Software Technology and Theoretical Computer Science (25th 2005 Hyderabad, India)