Pagh, R. Low Redundancy in Dictionaries With O(1) Worst Case Lookup Time. BRICS 1998, 5.