@inproceedings{mccarthy_etal_2016,
 title = {A Coq Library For Internal Verification of Running-Times},
 author = {McCarthy, Jay and Fetscher, Burke and New, Max S. and Feltey, Daniel and Findler, Robert Bruce},
 year = {2016},
 url = {https://github.com/rfindler/395-2013},
 booktitle = {Functional and Logic Programming, FLOPS 2016},
 publisher = {Springer},
 doi = {10.1007/978-3-319-29604-3_10},
 pages = {144--162},
 volume = {9613}
}