@article{HiPa06,
 author = {Hinze, Ralf and Paterson, Ross},
 title = {Finger trees: a simple general-purpose data structure},
 journal = {J. Funct. Program.},
 volume = {16},
 number = {2},
 year = {2006},
 issn = {0956-7968},
 pages = {197--217},
 doi = {https://doi.org/10.1017/S0956796805005769},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
 }

@inproceedings{So07,
 author = {Sozeau, Matthieu},
 title = {Program-ing finger trees in Coq},
 booktitle = {ICFP '07},
 year = {2007},
 isbn = {978-1-59593-815-2},
 pages = {13--24},
 location = {Freiburg, Germany},
 doi = {http://doi.acm.org/10.1145/1291151.1291156},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
