---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  bibo_doi: 10.1007/3-540-46428-X_23
  dct_date: 2000^xs_gYear
  dct_title: 'Specification of an Automatic Manufacturing System: {A} Case Study in
    Using Integrated Formal Methods@'
...