<section name="raw">
    <SEQUENTIAL>
      <record key="001" att1="001" value="LIB904289904" att2="LIB904289904">001   LIB904289904</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">33</field>
      <field key="100" subkey="b">bauer, f(riedrich) l. (ed.)</field>
      <field key="104" subkey="b">broy, m(anfred) (ed.)</field>
      <field key="331" subkey="">program construction</field>
      <field key="403" subkey="">1. ed.</field>
      <field key="410" subkey="">berlin, heidelberg, new york</field>
      <field key="412" subkey="">springer-verlag</field>
      <field key="425" subkey="">1979</field>
      <field key="433" subkey="">vii, 651 pp.</field>
      <field key="451" subkey="">lecture notes in computer science; 69</field>
      <field key="451" subkey="h">goos, g. (ed.) ; hartmanis, j. (ed.)</field>
      <field key="507" subkey="">international summer school (program construction) ; technical university munich (sp.) ; nato scientific affairs division (sp.) ;</field>
      <field key="mar" subkey="k">toberdorf ; 1978, july 26 - august 6</field>
      <field key="517" subkey="c">from the table of contents: the thinking programmer; program verification; program development by transformation; special</field>
      <field key="lan" subkey="g">uage considerations and formal tools;</field>
      <field key="540" subkey="">3-540-09251-X</field>
      <field key="544" subkey="">8796-A</field>
    </SEQUENTIAL>
  </section>