You are about to access our book library "Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings (Lecture Notes in Computer Science, 405) full version" .