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