<bibliography>
 <citation type="doi" key="10.1017/CBO9780511546563">
  <doi>10.1017/CBO9780511546563</doi>
 </citation>
 <citation type="doi" key="10.1016/0304-3975(88)90009-6">
  <doi>10.1016/0304-3975(88)90009-6</doi>
 </citation>
 <citation type="doi" key="10.1016/0195-6698(95)90051-9">
  <doi>10.1016/0195-6698(95)90051-9</doi>
 </citation>
 <citation type="doi" key="10.1016/j.dam.2009.02.010">
  <doi>10.1016/j.dam.2009.02.010</doi>
 </citation>
 <citation type="doi" key="10.1016/j.tcs.2009.04.022">
  <doi>10.1016/j.tcs.2009.04.022</doi>
 </citation>
 <citation type="doi" key="10.1017/CBO9780511566097">
  <doi>10.1017/CBO9780511566097</doi>
 </citation>
 <citation type="doi" key="10.1007/3-540-46011-X_9">
  <doi>10.1007/3-540-46011-X_9</doi>
 </citation>
 <citation type="doi" key="10.1007/3-540-46541-3_8">
  <doi>10.1007/3-540-46541-3_8</doi>
 </citation>
 <citation type="doi" key="10.1070/IM2000v064n04ABEH000301">
  <doi>10.1070/IM2000v064n04ABEH000301</doi>
 </citation>
 <citation type="doi" key="10.1007/978-3-642-02737-6_38">
  <doi>10.1007/978-3-642-02737-6_38</doi>
 </citation>
</bibliography>
