Gerth S. Brodal, Finger Search Trees with Constant Insertion Time, January 1998. Brodal
FDLewisFinAuto Check out (with somewhat more care) "Finite Automata" (the notation is somewhat different from mine).