Author: Conference on Foundations of Software Technology and Theoretical Computer Science (5th 1985 New Delhi)