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