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