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