00756cam a2200181 a 450000500170000000800410001702000150005803500150007305000240008811101240011224501660023626000370040230000110043944000490045065000340049970000180053370000230055120260819084422.0060908s1991    us      r     100|0 eng |  a3540544151  a.b1072678000aQA76.758bI583 19912 aInternational Conference on Theoretical Aspects of Computer Softwaren(1st :d1991 :cTohoku University, Sendai, Japan)10aTheoretical aspects of computer software :bInternational Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings /cT. Ito and A. R. Meyer (eds.)  aBerlin :bSpringer-Verlag,c1991  a770 p. 0aLecture notes in computer science ;vno. 526 0aComputer softwarevCongresses1 aIto, T.,eed.1 aMeyer, A. R.,eed.