Author: Conference on Foundations of Software Technology and Theoretical Computer Science (23rd 2003 Mumbai, India)