00779cam a2200181 a 450000500170000000800410001702000150005803500150007305000250008811101130011324501820022626000370040830000110044544000490045665000370050570000300054270000250057220260817162108.0060908s1995    gw      r     100|0 eng |  a3540600434  a.b1145786700aQA76.758bI5713 19952 aInternational Conference on Algebraic Methodology and Software Technologyn(4th :d1995 :cMontreal, Canada)10aAlgebraic methodology and software technology :b4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings /cV. S. Alagar and Maurice Nivat (eds.)  aBerlin :bSpringer-Verlag,c1995  a591 p. 0aLecture notes in computer science ;vno. 936 0aSoftware engineeringvCongresses1 aAlagar, Vangalur S.,eed.1 aNivat, Maurice,eed.