IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 13 to 15, 1982, Bangalore, India