Pagh, R. Faster Deterministic Dictionaries. BRICS 1999, 6.