-- Pettie's paper on random bits (pettie:minirand)
-- random sampling (propp:randommst)
-- mention bugs in Valeria's verification paper
-- Pettie's optimal algorithm runs in average linear time
-- add references to other applications of decomposition
-- more references on decision trees
-
-Models:
-
-- bit tricks: reference to HAKMEM
-- mention in-place radix-sorting?
-- consequences of Q-Heaps: Thorup's undirected SSSP etc.
-- add more context from thorup:aczero, also mention FP operations
-- expand the section on radix-sorting, mention Buchsbaum
-- move Q-Heaps to the chapter on the MST's?
-- Tarjan79 is claimed by Pettie to define Pointer machines