You are about to access our book library "Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings (Lecture Notes in Computer Science, 241) full version" .