---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Vasu
      foaf_name: Vasu Singh
      foaf_surname: Singh
      foaf_workInfoHomepage: http://www.librecat.org/personId=4DAE2708-F248-11E8-B48F-1D18A9856A87
  dct_date: 2009^xs_gYear
  dct_publisher: EPFL Lausanne@
  dct_title: Formalizing and Verifying Transactional Memories@
...
