00801nam a2200181 a 450000500170000000800410001702000150005803500150007305000260008811101130011424501900022726000370041730000090045444000540046365000470051770000230056470000320058720260818223902.0060912s1991    gw      r     100|0 eng |  a3540539824  a.b1066423300aQA76.76 D47bI57 19912 aInternational Joint Conference on Theory and Practice of Software Developmentn(4th :d1991 :cBrighton, UK)10aTAPSOFT'91 :bproceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 /cS. Abramsky and T. S. E. Maibaum (eds.)  aBerlin :bSpringer-Verlag,c1991  a2 v. 0aLecture notes in computer science ;vno. 493, 494 0aComputer softwarexDevelopmentvCongresses1 aAbramsky, S.,eed.1 aMaibaum, Thomas S. E.,eed.