IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 11 to 12, 1981, Bangalore, India