Author: Conference on Foundations Of Software Technology And Theoretical Computer Science (12th 1992 New Delhi, India)