IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
17 to 19 December, 1987, Pune, India