@article{Hin99Bin,
  title = "{Functional Pearl:} {Explaining} binomial heaps",
  author = "Hinze, Ralf",
  year = "1999",
  journal = "JFP",
  month = "jan",
  number = "1",
  pages = "93-104",
  volume = "9",
  doi = "10.1017/S0956796899003317",
}