Author: Conference on Foundations of Software Technology and Theoretical Computer Science (3rd 1983 Bangalore)