Author: Conference on Foundations of Software Technology and Theoretical Computer Science (2nd 1982 Bangalore)