@article{Johnson75,
  title={Priority queues with update and finding minimum spanning trees},
  author={Johnson, D.B.},
  journal={Information Processing Letters},
  volume={4},
  number={3},
  pages={53--57},
  year={1975},
  publisher={Elsevier}
}