You are about to access our book library "Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings (Lecture Notes in Computer Science, 181) full version" .