kozen1994action:
  type: anthos
  title: On action algebras
  author: Kozen, Dexter
  date: 1994
  page-range: 78-88
  serial-number:
    doi: 10.7551/mitpress/4286.003.0007
  parent:
    type: anthology
    title: Logic and Information Flow
    publisher: MIT Press