mccarthy_etal_2016:
  type: article
  title: A Coq Library For Internal Verification of Running-Times
  author:
  - McCarthy, Jay
  - Fetscher, Burke
  - New, Max S.
  - Feltey, Daniel
  - Findler, Robert Bruce
  date: 2016
  page-range: 144-162
  url: https://github.com/rfindler/395-2013
  serial-number:
    doi: 10.1007/978-3-319-29604-3_10
  parent:
    type: proceedings
    title: Functional and Logic Programming, FLOPS 2016
    publisher: Springer
    volume: 9613