@article{hinze-2005-finger,
  author    = {Ralf Hinze and
               Ross Paterson},
  title     = {Finger trees: a simple general-purpose data structure},
  journal   = {J. Funct. Program.},
  volume    = {16},
  number    = {2},
  pages     = {197--217},
  year      = {2006},,
  doi       = {10.1017/s0956796805005769},
}