Author: Conference on Foundations of Software Technology and Theoretical Computer Science (1st 1981 Bangalore)