IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
19 to 21 December, 1989, Bangalore, India