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