---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Michael
      foaf_name: Leuschel, Michael
      foaf_surname: Leuschel
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  bibo_doi: 10.1016/j.scico.2011.01.009
  bibo_issue: '10'
  dct_date: 2011^xs_gYear
  dct_language: eng
  dct_publisher: Elsevier@
  dct_title: Selected papers on Integrated Formal Methods (iFM09)@
...