Author: Conference on Foundations of Software Technology and Theoretical Computer Science (22nd 2002 Kanpur, India)