00848cam a2200205 a 450000500170000000800410001702000150005803500150007305000250008811101120011324501820022524600140040726000300042130000110045144000490046265000370051165000550054870000200060370000190062320260817162108.0060908s1996    gw      r     100|0 eng |  a354061463X  a.b1153051000aQA76.758bI5713 19962 aInternational Conference on Algebraic Methodology and Software Technologyn(5th :d1996 :cMunich, Germany)10aAlgebraic methodology and software technology :b5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings /cMartin Wirsing and Maurice Nivat, eds.30aAMAST '96  aBerlin :bSpringer,c1996  a640 p. 0aLecture notes in computer science ;vv. 1101 0aSoftware engineeringvCongresses 0aAbstract data types (Computer science)vCongresses1 aWirsing, Martin1 aNivat, Maurice