You are about to access our book library "Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings (Lecture Notes in Computer Science, 1026) full version" .