A Red-Black Tree Implementation with Provable Properties
fstaals.net