kozen2000certification:
  type: article
  title: Certification of Compiler Optimizations Using {Kleene} Algebra with Tests
  author:
  - Kozen, Dexter
  - Patron, Maria-Cristina
  date: 2000
  page-range: 568-582
  serial-number:
    doi: 10.1007/3-540-44957-4_38
  parent:
    type: proceedings
    title: Computational Logic — CL 2000
    organization: Springer
    volume: 1861
    parent:
      type: proceedings
      title: Lecture Notes in Computer Science