IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
16 to 18 December, 1985, New Delhi, India