You are about to access our book library "Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings (Lecture Notes in Computer Science, 761) full version" .