Balanced Trees with Removals: An Exercise in Rewriting and Proof

@article{Reade1992BalancedTW,
  title={Balanced Trees with Removals: An Exercise in Rewriting and Proof},
  author={Chris Reade},
  journal={Sci. Comput. Program.},
  year={1992},
  volume={18},
  pages={181-204}
}