00811cam a2200193 a 450000500170000000800410001702000150005803500150007305000250008811101140011324501720022724600140039926000300041330000110044344000500045465000370050465000550054170000210059620260817162108.0060908s1997    gw      r     100|0 eng |  a3540638881  a.b1169793300aQA76.758bI5713 19972 aInternational Conference on Algebraic Methodology and Software Technologyn(6th :d1997 :cSydney, Australia)10aAlgebraic methodology and software technology :b6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings /cMichael Johnson, ed.30aAMAST '97  aBerlin :bSpringer,c1997  a591 p. 0aLecture notes in computer science ;vno. 1349 0aSoftware engineeringvCongresses 0aAbstract data types (Computer science)vCongresses1 aJohnson, Michael