<section name="raw">
    <SEQUENTIAL>
      <record key="001" att1="001" value="LIB90354880X" att2="LIB90354880X">001   LIB90354880X</record>
      <field key="037" subkey="x">englisch</field>
      <field key="050" subkey="x">Buch</field>
      <field key="076" subkey="">Formalwissenschaft(EDV)</field>
      <field key="100" subkey="">greibach, sheila a.</field>
      <field key="331" subkey="">theory of program structures: schemes, semantics, verification</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="">1975</field>
      <field key="433" subkey="">xv, 389 pp. in various pagings</field>
      <field key="451" subkey="">lecture notes in computer science; 36</field>
      <field key="451" subkey="h">goos, g. (ed.) ; hartmanis, j. (ed.)</field>
      <field key="517" subkey="c">from the table of contents: introduction; program schemes - basic definitions and concepts; program schemes - basic properties;</field>
      <field key="str" subkey="u">ctured programs; correctness and program verification; decision problems; recursion schemes; monadic recursion schemes;</field>
      <field key="app" subkey="e">ndix: program schemes and the first order predicate calculus;</field>
      <field key="540" subkey="">3-540-07415-5</field>
      <field key="544" subkey="">7479-A</field>
      <field key="700" subkey="b">001</field>
      <field key="700" subkey="b">knowledge</field>
      <field key="710" subkey="">electronic digital computers -- programming</field>
      <field key="710" subkey="">recursive programming</field>
      <field key="710" subkey="">computer programs</field>
    </SEQUENTIAL>
  </section>