<section name="raw">
    <SEQUENTIAL>
      <record key="001" att1="001" value="LIB905498501" att2="LIB905498501">001   LIB905498501</record>
      <field key="037" subkey="x">englisch</field>
      <field key="050" subkey="x">Buch</field>
      <field key="076" subkey="">EDV</field>
      <field key="087" subkey="a">18</field>
      <field key="100" subkey="b">broy, manfred (ed.)</field>
      <field key="104" subkey="b">schmidt, gunther (ed.)</field>
      <field key="107" subkey="">institut fuer informatik, technische universitaet muenchen</field>
      <field key="200" subkey="b">nato advanced study institute (ed.)</field>
      <field key="331" subkey="">theoretical foundations of programming methodology</field>
      <field key="335" subkey="">lecture notes</field>
      <field key="403" subkey="">1. ed.</field>
      <field key="410" subkey="">dordrecht, boston, london</field>
      <field key="412" subkey="">d. reidel publishing company</field>
      <field key="425" subkey="">1982</field>
      <field key="433" subkey="">xiii, 658 pp.</field>
      <field key="451" subkey="">nato advanced study institutes series. series c - mathematical and physical sciences; vol. 91</field>
      <field key="507" subkey="">international summer school on theoretical foundations of programming methodology ; bauer, f.l. (sp.) ; et al. ; nato science</field>
      <field key="com" subkey="m">ittee (sp.) ; tu muenchen (sp.) ; marktoberdorf ; 1981</field>
      <field key="517" subkey="c">from the table of contents: preface; program development and verification; denotational semantics; abstract data types; infinite</field>
      <field key="str" subkey="u">ctures; concurrent programs;</field>
      <field key="540" subkey="">90-277-1460-6</field>
      <field key="544" subkey="">10526-A</field>
      <field key="700" subkey="b">001</field>
      <field key="700" subkey="b">knowledge</field>
      <field key="710" subkey="">computer programming</field>
    </SEQUENTIAL>
  </section>