@inproceedings{Andersson89,author={Arne Andersson},
title={Improving Partial Rebuilding by Using Simple Balance Criteria},
booktitle={Algorithms and Data Structures ({WADS} '89)},pages={393--402},
year=1989,editor={F. Dehne and J.-R. Sack and N. Santoro},
series="LNCS",volume=382,publisher="Springer"}

@article{Andersson99,author={Arne Andersson},
title={General Balanced Trees},pages={1--18},journal={J. Algorithms},
volume=30,number=1,year=1999}

@inproceedings{Nipkow-APLAS2017,author="Tobias Nipkow",
title="Verified Root-Balanced Trees",
booktitle="Programming Languages and Systems, APLAS 2017",
editor="Bor-Yuh Evan Chang",
publisher="Springer",series="LNCS",volume="?",year=2017,
note={\url{http://www.in.tum.de/~nipkow/pubs/aplas17.html}}}
