00884cam a2200193 a 450000500170000000800410001702000150005803500150007305000260008811101160011424502280023026000370045830000110049544000490050665000470055570000270060270000260062970000350065520260818223901.0060912s1995    gw      r     100|0 eng |  a3540592938  a.b1145777600aQA76.76 D47bI57 19952 aInternational Joint Conference on Theory and Practice of Software Developmentn(6th :d1995 :cAarhus, Denmark)10aTAPSOFT '95 :btheory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings /cPeter D. Mosses, Mogens Nielsen and Michael I. Schwartzbach (eds.)  aBerlin :bSpringer-Verlag,c1995  a808 p. 0aLecture notes in computer science ;vno. 915 0aComputer softwarexDevelopmentvCongresses1 aMosses, Peter D.,eed.1 aNielsen, Mogens,eed.1 aSchwartzbach, Michael I.,eed.