Balanced trees with removals: an exercise in rewriting and proof (1992)

by C M P Reade
Venue:Science of Computer Programming