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