Author: Conference on Foundations of Software Technology and Theoretical Computer Science (13th 1993 Bombay)