angus2001kleene:
  type: report
  title: Kleene algebra with tests and program schematology
  author:
  - Angus, Allegra
  - Kozen, Dexter
  date: 2001
  organization: Cornell University
  genre: technical report