You are about to access our book library "Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings (Lecture Notes in Computer Science, 526) full version" .