@phdthesis{Crane72,
  title={Linear lists and priority queues as balanced binary trees},
  author={Crane, C.A.},
  school={Stanford University},
  year={1972}
}