Bailey 10.1.1: Example: Simulating Recursion Bailey B.6 on Inheritance and Subtyping
AVL trees
B trees
skiplist and treelist
Zuul
zorkonline.net