coblenz-2020-obsidian:
  type: article
  title: 'Obsidian: Typestate and Assets for Safer Blockchain Programming'
  author:
  - Coblenz, Michael
  - Oei, Reed
  - Etzel, Tyler
  - Koronkevich, Paulette
  - Baker, Miles
  - Bloem, Yannick
  - Myers, Brad A.
  - Sunshine, Joshua
  - Aldrich, Jonathan
  date: 2020-09
  page-range: 1-82
  serial-number:
    doi: 10.1145/3417516
  parent:
    type: periodical
    title: ACM Transactions on Programming Languages and Systems
    publisher: Association for Computing Machinery (ACM)
    issue: 3
    volume: 42