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