@article{Hin02Fre,
  title = "{Functional Pearl:} {A} fresh look at binary search trees",
  author = "Hinze, Ralf",
  year = "2002",
  journal = "J.~Functional Programming",
  month = "nov",
  number = "6",
  pages = "601--607",
  volume = "12",
  doi = "10.1017/S0956796801004269",
}