You are about to access our book library "Theoretical Aspects of Computer Software: International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings (Lecture Notes in Computer Science, 789) full version" .