You are about to access our book library "Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India, December 21-23, 1988. Proceedings (Lecture Notes in Computer Science, 338) full version" .